diff --git a/Documentation/Makefile b/Documentation/Makefile
index 4064b38c447a6927df407288bc187f3a30f66bdb..2ad18e0ac30680dff8bb82f0595ac235d3158015 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
$(filter-out $(addsuffix .txt, $(ARTICLES) $(SP_ARTICLES)), \
$(wildcard git-*.txt)) \
gitk.txt
-MAN5_TXT=gitattributes.txt
+MAN5_TXT=gitattributes.txt gitignore.txt gitmodules.txt
MAN7_TXT=git.txt
DOC_HTML=$(patsubst %.txt,%.html,$(MAN1_TXT) $(MAN5_TXT) $(MAN7_TXT))