[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

where to put manpages (filename clash issue)



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


Reply to: