On Sun, Aug 26, 2007 at 05:55:46PM +0000, Sylvain Le Gall wrote:
> * a set of manpage MUST be generated out of the same source of ocamldoc
> HTML file
We now have preliminary support for this in the CDBS class, but is
currently commented out since I spotted a (now) obvious issue: filename
clashes.
Even in its minimal setting (i.e. with -man-mini), ocamldoc generation
of manpages generates one manpage per module. Since nothing forbids to
have in a Debian installation to have two different modules named "Foo",
we will conflict on who has the right to install
/usr/share/man/man3/Foo.3o.gz. (Sure the two modules won't be linkable
together due to different sets of md5sums, but nothing prevent them to
be installed on a Debian system.)
The problem does not exist for HTML docs since they will be installed in
different directories on the file system, while manpages share the
/usr/share/man/*/ hierarchy.
Since I've no good ideas on how to solve this I'm currently inclined to
not push for manpage documentation of OCaml modules.
Good ideas are welcome.
Cheers.
--
Stefano Zacchiroli -*- PhD in Computer Science ............... now what?
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
(15:56:48) Zack: e la demo dema ? /\ All one has to do is hit the
(15:57:15) Bac: no, la demo scema \/ right keys at the right time
Attachment:
signature.asc
Description: Digital signature