From d9bb9b73adc32b91df31ceec299e3194b49710e2 Mon Sep 17 00:00:00 2001 From: ridiculousfish Date: Mon, 20 Feb 2012 16:18:10 -0800 Subject: [PATCH] Change to allow building without doxygen --- Makefile.in | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index 4f5aaa278..5466b67a0 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