diff options
author | ridiculousfish <corydoras@ridiculousfish.com> | 2012-02-20 16:18:10 -0800 |
---|---|---|
committer | ridiculousfish <corydoras@ridiculousfish.com> | 2012-02-20 16:18:10 -0800 |
commit | d9bb9b73adc32b91df31ceec299e3194b49710e2 (patch) | |
tree | 08bf09da08bf35ab22064f925ae4463d3f22890a /Makefile.in | |
parent | d5c382bb1a68fd74d5d8e96519f9286f8d755530 (diff) |
Change to allow building without doxygen
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 |