aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar axel <axel@liljencrantz.se>2007-03-24 21:08:01 +1000
committerGravatar axel <axel@liljencrantz.se>2007-03-24 21:08:01 +1000
commitb5baac82911eb6f1fcec1d6422bda16bfbf49755 (patch)
treef44e008506dd0dd9af227facfe7a4acd90537cf0
parentf36508837b2bf7cb19e5e36503799226b0a39dff (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.in6
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