mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-24 20:08:10 +01:00
configure: set 'infodir'
This turns --infodir from an ignored option into a real one
This commit is contained in:
parent
db666126cd
commit
7e3575c0ca
1 changed files with 6 additions and 3 deletions
9
configure
vendored
9
configure
vendored
|
@ -139,6 +139,7 @@ Fine tuning of some installation directories is available:
|
|||
--libdir=DIR Install libraries to DIR [PREFIX/lib]
|
||||
--includedir=DIR Install header files to DIR [PREFIX/include]
|
||||
--mandir=DIR Install man pages to DIR [PREFIX/share/man]
|
||||
--infodir=DIR Install man pages to DIR [PREFIX/share/man]
|
||||
--sysconfdir=DIR Read-only single-machine data [PREFIX/etc]
|
||||
--emacslispdir=DIR Emacs code [PREFIX/share/emacs/site-lisp]
|
||||
--emacsetcdir=DIR Emacs miscellaneous files [PREFIX/share/emacs/site-lisp]
|
||||
|
@ -162,7 +163,6 @@ configure-script calling conventions, but don't do anything yet:
|
|||
|
||||
--build=<cpu>-<vendor>-<os> Currently ignored
|
||||
--host=<cpu>-<vendor>-<os> Currently ignored
|
||||
--infodir=DIR Currently ignored
|
||||
--datadir=DIR Currently ignored
|
||||
--localstatedir=DIR Currently ignored
|
||||
--libexecdir=DIR Currently ignored
|
||||
|
@ -185,6 +185,8 @@ for option; do
|
|||
INCLUDEDIR="${option#*=}"
|
||||
elif [ "${option%%=*}" = '--mandir' ] ; then
|
||||
MANDIR="${option#*=}"
|
||||
elif [ "${option%%=*}" = '--infodir' ] ; then
|
||||
INFODIR="${option#*=}"
|
||||
elif [ "${option%%=*}" = '--sysconfdir' ] ; then
|
||||
SYSCONFDIR="${option#*=}"
|
||||
elif [ "${option%%=*}" = '--emacslispdir' ] ; then
|
||||
|
@ -265,8 +267,6 @@ for option; do
|
|||
true
|
||||
elif [ "${option%%=*}" = '--host' ] ; then
|
||||
true
|
||||
elif [ "${option%%=*}" = '--infodir' ] ; then
|
||||
true
|
||||
elif [ "${option%%=*}" = '--datadir' ] ; then
|
||||
true
|
||||
elif [ "${option%%=*}" = '--localstatedir' ] ; then
|
||||
|
@ -1068,6 +1068,9 @@ includedir = ${INCLUDEDIR:=\$(prefix)/include}
|
|||
# The directory to which man pages should be installed
|
||||
mandir = ${MANDIR:=\$(prefix)/share/man}
|
||||
|
||||
# The directory to which man pages should be installed
|
||||
infodir = ${INFODIR:=\$(prefix)/share/info}
|
||||
|
||||
# The directory to which read-only (configuration) files should be installed
|
||||
sysconfdir = ${SYSCONFDIR:=\$(prefix)/etc}
|
||||
|
||||
|
|
Loading…
Reference in a new issue