diff options
| -rw-r--r-- | doc/Makefile.am | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 2ec8095..67f5b7e 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -2,12 +2,20 @@ # Doxygen processing # if BUILD_DOXYGEN -html_DATA = html/ -endif -.PHONY: html/ -html/ : Doxyfile +EXTRA_DIST = html + +all-local : Doxyfile @DOXYGEN@ $< clean-local: - -rm -rf html/ + -$(RM) -r html/ + +install-data-local: + $(MKDIR_P) $(DESTDIR)$(htmldir) + cp -r $(srcdir)/html $(DESTDIR)$(htmldir) + +uninstall-local: + -$(RM) -r $(DESTDIR)$(htmldir) + +endif |