aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDave Borowitz <dborowitz@google.com>2012-09-19 10:06:37 -0700
committerJunio C Hamano <gitster@pobox.com>2012-09-19 16:35:10 -0700
commitdd4f30756150c921ce9acc7b3d0970ff5a6e1158 (patch)
tree65e336149191704c3c34a7879c0d066b2057b0e2
parent304b7d99a705e8c125650dda347a571402222a3e (diff)
downloadgit-dd4f30756150c921ce9acc7b3d0970ff5a6e1158.tar.gz
git-dd4f30756150c921ce9acc7b3d0970ff5a6e1158.tar.xz
Documentation/Makefile: Allow custom XMLTO binary
Signed-off-by: Dave Borowitz <dborowitz@google.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Documentation/Makefile5
1 files changed, 3 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index cf5916fe8..267dfe135 100644
--- 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) $@+ $@ && \