diff --git a/Documentation/Makefile b/Documentation/Makefile
index 04f69cf64e5d989bac3cd1c235e6a7e657c6c103..a4c4063e50d3eb3bd36d94b399f790e56fe4b050 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
gitrepository-layout.txt
MAN7_TXT=gitcli.txt gittutorial.txt gittutorial-2.txt \
gitcvs-migration.txt gitcore-tutorial.txt gitglossary.txt \
- gitdiffcore.txt gitworkflows.txt
+ gitdiffcore.txt gitrevisions.txt gitworkflows.txt
MAN_TXT = $(MAN1_TXT) $(MAN5_TXT) $(MAN7_TXT)
MAN_XML=$(patsubst %.txt,%.xml,$(MAN_TXT))