diff options
author | David Bremner <david@tethera.net> | 2014-07-01 13:40:33 -0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2014-07-09 19:32:15 -0300 |
commit | 10224335514b70acc95f89ced4d900bd6c94990b (patch) | |
tree | ee63d88b5d932bfe9e3fd2e5e8d385a81cb568e1 /configure | |
parent | 0e50854a7feb1feea24745ce0a87be4327803e21 (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-x | configure | 12 |
1 files changed, 12 insertions, 0 deletions
@@ -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 |