aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authorGravatar David Bremner <david@tethera.net>2014-07-01 13:40:33 -0300
committerGravatar David Bremner <david@tethera.net>2014-07-09 19:32:15 -0300
commit10224335514b70acc95f89ced4d900bd6c94990b (patch)
treeee63d88b5d932bfe9e3fd2e5e8d385a81cb568e1 /configure
parent0e50854a7feb1feea24745ce0a87be4327803e21 (diff)
doc: build and install doxygen api docs
In order to support out of tree builds and avoid hardcoding version number, generate `doc/config.dox` from configure.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure12
1 files changed, 12 insertions, 0 deletions
diff --git a/configure b/configure
index 9514d4d9..3f0c8d52 100755
--- a/configure
+++ b/configure
@@ -417,6 +417,15 @@ else
have_emacs=0
fi
+printf "Checking if doxygen is available... "
+if command -v doxygen > /dev/null 2>&1; then
+ printf "Yes.\n"
+ have_doxygen=1
+else
+ printf "No (so will not install api docs)\n"
+ have_doxygen=0
+fi
+
printf "Checking if sphinx is available and supports nroff output... "
if hash sphinx-build > /dev/null 2>&1 && python -m sphinx.writers.manpage > /dev/null 2>&1 ; then
printf "Yes.\n"
@@ -829,6 +838,9 @@ HAVE_SPHINX=${have_sphinx}
# Whether there's a rst2man binary available for building documentation
HAVE_RST2MAN=${have_rst2man}
+# Whether there's a doxygen binary available for building api documentation
+HAVE_DOXYGEN=${have_doxygen}
+
# The directory to which desktop files should be installed
desktop_dir = \$(prefix)/share/applications