This turns --infodir from an ignored option into a real one
---
configure | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/configure b/configure
index 37db04d0..3cefdcc6 100755
--- a/configure
+++ b/configure
@@ -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}
--
2.17.0
_______________________________________________
notmuch mailing list
notmuch@notmuchmail.org
https://notmuchmail.org/mailman/listinfo/notmuch
