diff --git a/Documentation/Makefile b/Documentation/Makefile
index b23991d52b..a3ad85dce7 100644
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -8,8 +8,9 @@ html: $(DOC_HTML)
 
 man: $(DOC_MAN)
 
-git-%: %.c $(LIB_FILE)
-	$(CC) $(CFLAGS) -o $@ $(filter %.c,$^) $(LIBS)
+# 'include' dependencies
+git-diff-%.txt: diff-format.txt
+	touch $@
 
 clean:
 	rm -f *.xml *.html *.1