On Sun, Aug 11, 2002 at 04:21:36AM +0200, Sven LUTHER wrote: > Well, ideally the default install path of the debian findlib package > should be /usr/local/lib/ocaml/stublibs (since it would be used for > third party installs or local installs, not packaged stuff), and debian > package using finlib would need to specify the -destdir.
Ok, let me think about it a bit more ... Anyway I will do this change while rebuilding all libraries. Cheers. -- Stefano Zacchiroli - undergraduate student of CS @ Univ. Bologna, Italy [EMAIL PROTECTED] | ICQ# 33538863 | http://www.cs.unibo.it/~zacchiro "I know you believe you understood what you think I said, but I am not sure you realize that what you heard is not what I meant!" -- G.Romney
pgpiwSTUnMR6X.pgp
Description: PGP signature
