diff --git a/docs/Makefile.am b/docs/Makefile.am index d9da722..4fa3586 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -1,7 +1,7 @@ -if HAVE_DOXYGEN - EXTRA_DIST = Doxyfile.in +if HAVE_DOXYGEN + .PHONY: docs docs: