2006/2/7, Sylvain Le Gall <[EMAIL PROTECTED]>: > On Sun, Feb 05, 2006 at 12:57:22PM +0100, Remi Vanicat wrote: > > Package: cameleon-doc > > Version: 1.9.9.cvs20051129-2 > > Severity: normal > > > > cameleon-doc contain two file in /usr/lib/ocaml/3.09.0/cameleon/: > > stdlib.odoc cameleon.odoc, when thos file should probably be in > > /usr/lib/ocaml/3.09.0/cameleon/ where cameleon seem to be looking for > > them. > > > > This settings is stored in ~/.cameleon2/core (i think). Deleting > ~/.cameleon2 solve the problem.
Well, not here : $ rm -r /home/moi/.cameleon2/ $ cameleon2.byte Loading file /usr/lib/ocaml/3.09.1/cameleon/stdlib.odoc /usr/lib/ocaml/3.09.1/cameleon/stdlib.odoc: Aucun fichier ou répertoire de ce type /usr/lib/ocaml/3.09.1/cameleon/stdlib.odoc: /usr/lib/ocaml/3.09.1/cameleon/stdlib.odoc: Aucun fichier ou répertoire de ce type Loading file /usr/lib/ocaml/3.09.1/cameleon/cameleon.odoc /usr/lib/ocaml/3.09.1/cameleon/cameleon.odoc: Aucun fichier ou répertoire de ce type /usr/lib/ocaml/3.09.1/cameleon/cameleon.odoc: /usr/lib/ocaml/3.09.1/cameleon/cameleon.odoc: Aucun fichier ou répertoire de ce type Note that after this, .cameleon2 have been created again, with the wrond directories in it. > > What do you think i should do about this problem: > * Move the documentation to a stable directory (not versioned), > * Write a script to upgrade the directry name in .cameleon2/core I belive that /usr/lib/ocaml/3.09.0/cameleon/ should be empty now, and that one should not upgrade the configfiles of user without their consent : best should be to put those file in /usr/share/cameleon2/ (or usr/share/doc/cameleon2, but I prefere the first one). One should probably wrote a NEWS.Debian file about it (at least if cameleon2 have been include in a stable release).
