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