$docprefix [Re: Default values for infodir and mandir [WAS: Re: [autoconf] doc dirs?]]

2001-06-22 Thread Guido Draheim
Alexandre Oliva wrote: 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

Re: Default values for infodir and mandir [WAS: Re: [autoconf] doc dirs?]

2001-06-21 Thread Peter Eisentraut
Alexandre Oliva writes: 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

Default values for infodir and mandir [WAS: Re: [autoconf] doc dirs?]

2001-06-20 Thread Earnie Boyd
Rüdiger Kuhlmann wrote: Hi! -8- AC_SUBST([infodir],['${prefix}/info'])dnl +AC_SUBST([docdir], ['${datadir}/doc'])dnl AC_SUBST([mandir], ['${prefix}/man'])dnl In my simplistic mind having three places for documentation isn't logical. I can understand leaving

Re: Default values for infodir and mandir [WAS: Re: [autoconf] doc dirs?]

2001-06-20 Thread Guido Draheim
Earnie Boyd wrote: Rüdiger Kuhlmann wrote: Hi! -8- AC_SUBST([infodir],['${prefix}/info'])dnl +AC_SUBST([docdir], ['${datadir}/doc'])dnl AC_SUBST([mandir], ['${prefix}/man'])dnl In my simplistic mind having three places for documentation isn't

Re: Default values for infodir and mandir [WAS: Re: [autoconf] doc dirs?]

2001-06-20 Thread Ralf Corsepius
Guido Draheim wrote: Earnie Boyd wrote: Rüdiger Kuhlmann wrote: Hi! -8- AC_SUBST([infodir],['${prefix}/info'])dnl +AC_SUBST([docdir], ['${datadir}/doc'])dnl AC_SUBST([mandir], ['${prefix}/man'])dnl In my simplistic mind having three

Re: Default values for infodir and mandir [WAS: Re: [autoconf] doc dirs?]

2001-06-20 Thread Guido Draheim
Ralf Corsepius wrote: Guido Draheim wrote: Earnie Boyd wrote: Rüdiger Kuhlmann wrote: Hi! -8- AC_SUBST([infodir],['${prefix}/info'])dnl +AC_SUBST([docdir], ['${datadir}/doc'])dnl AC_SUBST([mandir], ['${prefix}/man'])dnl

Re: Default values for infodir and mandir [WAS: Re: [autoconf] doc dirs?]

2001-06-20 Thread Alexandre Oliva
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