diff --git a/Documentation/Makefile b/Documentation/Makefile
index aecae676dea995749ed9ba7122e31f5d0c64974c..bb21d6af44e6aa591c2adb33e0447853ac1c65c5 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
$(patsubst %.txt,%.1,$(wildcard git-diff-*.txt)): \
diff-format.txt diff-options.txt
$(patsubst %,%.1,git-fetch git-pull git-push): pull-fetch-param.txt
$(patsubst %.txt,%.1,$(wildcard git-diff-*.txt)): \
diff-format.txt diff-options.txt
$(patsubst %,%.1,git-fetch git-pull git-push): pull-fetch-param.txt
+$(patsubst %.txt,%.html,$(wildcard git-diff-*.txt)): \
+ diff-format.txt diff-options.txt
+$(patsubst %,%.html,git-fetch git-pull git-push): pull-fetch-param.txt
git.7: ../README
clean:
git.7: ../README
clean: