[PATCH 1/8] configure: check for makeinfo and install-info
David Bremner
david at tethera.net
Mon May 21 13:08:49 PDT 2018
These are needed to build and install (respectively) the info format
documentation.
---
configure | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
diff --git a/configure b/configure
index cbb3b7cc..37db04d0 100755
--- a/configure
+++ b/configure
@@ -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
@@ -1068,6 +1084,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}
--
2.17.0
More information about the notmuch
mailing list