Andrew's git / gitweb.git / diff
?
Documentation/Makefile: Allow custom XMLTO binary
authorDave Borowitz <dborowitz@google.com>
Wed, 19 Sep 2012 17:06:37 +0000 (10:06 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 19 Sep 2012 23:35:10 +0000 (16:35 -0700)
Signed-off-by: Dave Borowitz <dborowitz@google.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/Makefile patch | blob | history
diff --git a/Documentation/Makefile b/Documentation/Makefile
index cf5916fe8b79e39eb57f97b36e82697694f41d7a..267dfe135ddef1d5e6cc452d6fdcd8b22b9e36a2 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -44,9 +44,10 @@ man5dir=$(mandir)/man5
 man7dir=$(mandir)/man7
 # DESTDIR=
 
-ASCIIDOC=asciidoc
+ASCIIDOC = asciidoc
 ASCIIDOC_EXTRA =
 MANPAGE_XSL = manpage-normal.xsl
+XMLTO = xmlto
 XMLTO_EXTRA =
 INSTALL?=install
 RM ?= rm -f
@@ -245,7 +246,7 @@ manpage-base-url.xsl: manpage-base-url.xsl.in
 
 %.1 %.5 %.7 : %.xml manpage-base-url.xsl
        $(QUIET_XMLTO)$(RM) $@ && \
-       xmlto -m $(MANPAGE_XSL) $(XMLTO_EXTRA) man $<
+       $(XMLTO) -m $(MANPAGE_XSL) $(XMLTO_EXTRA) man $<
 
 %.xml : %.txt
        $(QUIET_ASCIIDOC)$(RM) $@+ $@ && \