diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 4f5aaa27..5466b67a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -326,10 +326,11 @@ prof: # Depend on the sources (*.hdr.in) and manually make the # intermediate *.hdr and doc.h files if needed +# Allow doxygen to fail, e.g. if it does not exist user_doc: $(HDR_FILES_SRC) Doxyfile.user user_doc.head.html $(HELP_SRC) $(MAKE) doc.h $(HDR_FILES) - doxygen Doxyfile.user + doxygen Doxyfile.user ; true touch user_doc |