From b5baac82911eb6f1fcec1d6422bda16bfbf49755 Mon Sep 17 00:00:00 2001 From: axel Date: Sat, 24 Mar 2007 21:08:01 +1000 Subject: [PATCH] Try to fix the dependency problems with user_doc. Thanks to James Vega for investigating the cause of this. darcs-hash:20070324110801-ac50b-ee833df5e34ae4fff8a4adb417647aadb8be9e29.gz --- Makefile.in | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index 8f0eb650f..91debcd40 100644 --- a/Makefile.in +++ b/Makefile.in @@ -296,9 +296,11 @@ debug: # User documentation, describing the features of the fish shell. # +# Depend on the sources (*.hdr.in) and manually make the +# intermediate *.hdr and doc.h files if needed -user_doc: $(HDR_FILES) Doxyfile.user user_doc.head.html - $(MAKE) doc.h # Depend on the sources (*.hdr) and manually make the intermediate doc.h file if needed +user_doc: $(HDR_FILES_SRC) Doxyfile.user user_doc.head.html + $(MAKE) doc.h $(HDR_FILES) doxygen Doxyfile.user touch user_doc