From: Fabrice Le Fessant <fabrice.le_fessant@inria.fr>
To: Alain Frisch <frisch@clipper.ens.fr>
Cc: Caml list <caml-list@inria.fr>
Subject: Re: [Caml-list] Libraries in the distribution
Date: Fri, 24 Aug 2001 11:33:43 -0400 (EDT) [thread overview]
Message-ID: <15238.29655.937554.501291@kerne.inria.fr> (raw)
In-Reply-To: <Pine.GSO.4.04.10108231837060.26026-100000@clipper.ens.fr>
For the CDK, we are currently looking for a standard way of packaging
libraries in the CDK, so that contributors will be able to easily
submit new libraries and upgrade them in the CDK. For that, we are
waiting for the adoption of a common documentation tool for all ocaml
software (this might happen soon with the ocamldoc system of Maxence
Guesdon), that will provide at least all formats already provided by
cdkdoc (HTML, man, info, ps).
Moreover, contributors can already add and upgrade their library to
the CDK, by downloading either the sources or the CVS version, and
compiling their package inside the sources.
- Fabrice
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
next prev parent reply other threads:[~2001-08-24 9:31 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-08-23 17:37 Alain Frisch
2001-08-23 18:05 ` Miles Egan
2001-08-23 18:07 ` Markus Mottl
2001-08-24 15:33 ` Fabrice Le Fessant [this message]
2001-08-23 18:32 Krishnaswami, Neel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=15238.29655.937554.501291@kerne.inria.fr \
--to=fabrice.le_fessant@inria.fr \
--cc=caml-list@inria.fr \
--cc=frisch@clipper.ens.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox