On Mon, Jul 07, 2003 at 10:20:25PM +0200, Denis Barbier wrote: > On Mon, Jul 07, 2003 at 05:34:59PM +0200, Sven Luther wrote: > [...] > > > Binaries and libraries are ok for multiple distribution, things that > > > need yet to be fixed are : > > > > > > manpages > > > > manpages for binaries are ok, i moved the manpages for the stdlib into > > /usr/share/man/man3/ocaml/3.07, but this doesn't sound like a definitive > > solution. > > Sven, the only subdirectories under /usr/share/man are for localized > man pages, so this does not look like a good idea.
Too bad. Mmm, even if we do a symlink to them in the wrapper package ? What other solution do you propose ? Put them in /usr/share/ocaml/3.07/man/man3 ? Appending the -3.07 to each of them is real ugly, and really would need wrapper scripts. Friendly, Sven Luther

