diff options
| -rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 3740557..68c2f6a 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -35,6 +35,7 @@ endif .PHONY: doxygen/ doxygen/ : Doxyfile + -rm -rf doxygen/ @DOXYGEN@ $< clean-local: |