Hello, On 27-08-2007, Stefano Zacchiroli <[EMAIL PROTECTED]> wrote: > > --rwEMma7ioTxnRzrJ > Content-Type: text/plain; charset=us-ascii > Content-Disposition: inline > Content-Transfer-Encoding: quoted-printable > > 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. >
Well, 1st problem with manpages ;-) I think we should use the META file to list module or directly the name of the directory of the module in lib/ocaml. I think we should wait to implement this before having something more "sure". Regards, Sylvain Le Gall -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

