Re: where to put manpages (filename clash issue)
Hello,
On 27-08-2007, Stefano Zacchiroli <zack@debian.org> 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
Reply to: