X-Git-Url: https://git.notmuchmail.org/git?a=blobdiff_plain;f=configure;h=3cefdcc6a97a682fd2a8786526436029c067bf24;hb=b50fb1b642be5f418db56f00f4518b1d3b2c83eb;hp=cbb3b7cc4245f1d81979ebb1b1b1fd3fff716a9e;hpb=b2e4778ea4a704e4a86ae41d680a9ec886e66cfa;p=notmuch diff --git a/configure b/configure index cbb3b7cc..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=-- Currently ignored --host=-- 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 @@ -633,6 +633,8 @@ if [ $WITH_RUBY = "1" ] ; then fi have_sphinx=0 +have_makeinfo=0 +have_install_info=0 if [ $WITH_DOCS = "1" ] ; then printf "Checking if sphinx is available and supports nroff output... " if command -v sphinx-build > /dev/null && ${python} -m sphinx.writers.manpage > /dev/null 2>&1 ; then @@ -641,6 +643,20 @@ if [ $WITH_DOCS = "1" ] ; then else printf "No (so will not install man pages).\n" fi + printf "Checking if makeinfo is available... " + if command -v makeinfo > /dev/null; then + printf "Yes.\n" + have_makeinfo=1 + else + printf "No (so will not build info pages).\n" + fi + printf "Checking if install-info is available... " + if command -v install-info > /dev/null; then + printf "Yes.\n" + have_install_info=1 + else + printf "No (so will not install info pages).\n" + fi fi if [ $WITH_DESKTOP = "1" ]; then @@ -1052,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} @@ -1068,6 +1087,12 @@ HAVE_EMACS = ${have_emacs} # Whether there's a sphinx-build binary available for building documentation HAVE_SPHINX=${have_sphinx} +# Whether there's a makeinfo binary available for building info format documentation +HAVE_MAKEINFO=${have_makeinfo} + +# Whether there's an install-info binary available for installing info format documentation +HAVE_INSTALL_INFO=${have_install_info} + # Whether there's a doxygen binary available for building api documentation HAVE_DOXYGEN=${have_doxygen}