diff options
author | 2007-03-24 21:08:01 +1000 | |
---|---|---|
committer | 2007-03-24 21:08:01 +1000 | |
commit | b5baac82911eb6f1fcec1d6422bda16bfbf49755 (patch) | |
tree | f44e008506dd0dd9af227facfe7a4acd90537cf0 | |
parent | f36508837b2bf7cb19e5e36503799226b0a39dff (diff) |
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
-rw-r--r-- | Makefile.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 8f0eb650..91debcd4 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 |