Andrew's git / gitweb.git / blobdiff
?
Merge branch 'maint'
[gitweb.git] / Documentation / Makefile
diff --git a/Documentation/Makefile b/Documentation/Makefile
index c41a7b483c3630d717fad9faf3c0f8d83846ab42..5cd8b63ac553e13c1e3d779ea17dec0c5fb615cb 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -198,7 +198,7 @@ gitman.texi: $(MAN_XML) cat-texi.perl
        mv $@+ $@
 
 gitman.info: gitman.texi
-       $(MAKEINFO) --no-split $*.texi
+       $(MAKEINFO) --no-split --no-validate $*.texi
 
 $(patsubst %.txt,%.texi,$(MAN_TXT)): %.texi : %.xml
        $(RM) $@+ $@