diff options
author | Anders Roxell <anders.roxell@linaro.org> | 2014-12-19 00:01:50 +0100 |
---|---|---|
committer | Maxim Uvarov <maxim.uvarov@linaro.org> | 2014-12-23 10:25:07 +0300 |
commit | 0b3c2b87cfec6a51574da627815e84e65ea53536 (patch) | |
tree | 90e3c2dedded3bdea886a020f924b38c0453a9d4 /doc | |
parent | 2f9faf483eaaac4e6948cb5423f7240c96b30742 (diff) |
configure: add a check if doxygen is installed
Signed-off-by: Anders Roxell <anders.roxell@linaro.org>
Reviewed-and-Tested-by: Mike Holmes <mike.holmes@linaro.org>
Signed-off-by: Maxim Uvarov <maxim.uvarov@linaro.org>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 67727e1de..8b894d3ac 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,3 +1,5 @@ +if HAVE_DOXYGEN + noinst_docdatadir = ${datadir}/doc noinst_imagedir = ${datadir}/doc/images noinst_usersguidedir = ${datadir}/doc/users-guide @@ -21,3 +23,4 @@ dist_noinst_usersguide_DATA = ${noinst_usersguide_DATA} clean-local: rm -rf $(DX_DOCDIR) +endif |