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

Re: ocaml 3.04-5 in incoming ...



On Thu, Jan 24, 2002 at 05:45:35PM +0100, Stefano Zacchiroli wrote:
> On Thu, Jan 24, 2002 at 05:11:30PM +0100, Sven wrote:
> > Stefano, i had to change the things you did, as it don't worked as expected
> > with me adding camlp4. I hope the current stuff is still correct, but could
> > you have a look at it ?
> 
> Sure, but please a few days.

No problem, ....

It will have to wait for a few weeks until reaching testing anyway.

> > Also, what will happen if i install ocaml-doc but ocaml is not installed ?
> > Maybe i should have added a symlink from ocaml-doc/docs to ocaml/docs, but how
> > do i do such ? simply create the symlink and install it as usual will
> > assuredly not work.
> 
> No problem if you install ocaml-doc without ocaml, because the package
> ocaml-doc install by itself files in /usr/share/doc/ocaml/, so when you
> install ocaml-doc that directory will be created even if ocaml package
> is not installed.
> Thus the dir /usr/share/doc/ocaml contains a mixture of files: part of
> them are owned by the ocaml package (e.g. the meta informations about
> ocaml package like copyright file or README.Debian), part of them are
> owned by the ocaml-doc package (i.e. the real documentation).
> Also /usr/share/doc/ocaml-doc exists and will contains meta informations
> about the ocaml-doc package (e.g. the meta informations about the
> ocaml-doc package as above).

Ok, ...

> You can also add the symlink if you want but I think it isn't needed nor
> usefule. If you really want you can add a note in the README.Debian of
> both package saying where the documentation resides. BTW the standard is
> that /usr/share/doc/ocaml should contain the ocaml documentation so no
> one should look for it in /usr/share/doc/ocaml-doc.

I added the symlink, and the docs are in a docs subdir anyway. I feel it makes
sense, especially for people installing ocaml-doc without ocaml and later
wonder where the files are. It is cheap to do anyway.

Friendly,

Sven Luther



Reply to: