Documentation: remove gitman.info with "make clean"

diff --git a/Documentation/Makefile b/Documentation/Makefile
index c6411741890e40dd37373e81b2b7103fd3cd22b2..7b0685b7b2fdc31cd6a79f611cb6c76b3aafd270 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -145,7 +145,8 @@ cmd-list.made: cmd-list.perl ../command-list.txt $(MAN1_TXT)
 git.7 git.html: git.txt
 
 clean:
-       $(RM) *.xml *.xml+ *.html *.html+ *.1 *.5 *.7 *.texi *.texi+ git.info
+       $(RM) *.xml *.xml+ *.html *.html+ *.1 *.5 *.7
+       $(RM) *.texi *.texi+ git.info gitman.info
        $(RM) howto-index.txt howto/*.html doc.dep
        $(RM) technical/api-*.html technical/api-index.txt
        $(RM) $(cmds_txt) *.made