diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 87e850f..4e809e1 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -21,11 +21,9 @@ ## <http://www.gnu.org/licenses/>. ## -dist_doc_DATA = \ +EXTRA_DIST = \ Doxyfile -# dist_man_MANS = geistest.1 - doc-html: doc-html-doxygen doc-man: doc-man-doxygen @@ -41,9 +39,11 @@ doc-man-doxygen: doc-pdf-doxygen: doxygen -install-data-local: api/html - $(INSTALL) -d $(DESTDIR)$(docdir) - cp -a api/html $(DESTDIR)$(docdir) +install-data-local: + if [ -d api/html ]; then \ + $(INSTALL) -d $(DESTDIR)$(docdir); \ + cp -a api/html $(DESTDIR)$(docdir); \ + fi clean-local: -rm -rf *.pdf *.html api |