On Jun 20, 2001, Guido Draheim <[EMAIL PROTECTED]> wrote: >> /usr/local/[man|info] for local packages >> and reserves >> /opt/[man|info] for "add-on" packages. > Indeed! so in fact, it should still be $prefix/man etcetera, Yep > which leads me to the question where the /doc should go under, Perhaps instead of --docdir we should have --doc-prefix, that defaults to --prefix? Then man, info, html, etc would all be in /usr/local by default, but this could be easily overridden using --doc-prefix. Another idea is to have mandir and infodir default to prefix/{man,info} if --docdir is not specified (in which case it would default to ${datadir}/doc, and to $doc_prefix/{man,info} otherwise (not overriding --mandir or --infodir, of course). Yes, I agree this is messier to implement and describe, but it seems to make installers' and distributors' lives simpler. > Again, the docdir looks like a fairly standard directory, > so it should be added to the defaultset of configure options. The problem of adding configure options is that, in a multi-package build (think of the so-called Cygnus top-level configure), all configure scripts must accept the same set of options, even if they ignore some, otherwise you can't use these options for any of the packages. -- Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/ Red Hat GCC Developer aoliva@{cygnus.com, redhat.com} CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org} Free Software Evangelist *Please* write to mailing lists, not to me