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