update-index: do not die too early in a read-only repository.

diff --git a/Documentation/Makefile b/Documentation/Makefile
index aaf95918c3cb0e89b9c608e1df4eb548f38203d7..9e7f2a78800e3f06b78f644b7cd6a4b632900a8a 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -32,6 +32,7 @@ man7dir=$(mandir)/man7
 # DESTDIR=
 
 ASCIIDOC=asciidoc
+ASCIIDOC_EXTRA =
 INSTALL?=install
 DOC_REF = origin/man
 
@@ -92,7 +93,7 @@ clean:
        rm -f $(cmds_txt)
 
 %.html : %.txt
-       $(ASCIIDOC) -b xhtml11 -d manpage -f asciidoc.conf $<
+       $(ASCIIDOC) -b xhtml11 -d manpage -f asciidoc.conf $(ASCIIDOC_EXTRA) $<
 
 %.1 %.7 : %.xml
        xmlto -m callouts.xsl man $<