Re: [PATCH] Documentation/Makefile: Allow custom XMLTO binary
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Sep 19, 2012, 17:59 UTC
- Message-ID
- <7vehlxhp0v.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <1348074397-29978-1-git-send-email-dborowitz@google.com>
dborowitz@google.com writes:
> From: Dave Borowitz <dborowitz@google.com> > > Signed-off-by: Dave Borowitz <dborowitz@google.com> > ---
Thanks; the patch sort-of makes sense but makes me wonder what your use case is. Do you have xmlto2 program you want to use in place of xmlto or you have xmlto but not on your $PATH?
Show 24 quoted lines
> Documentation/Makefile | 3 ++- > 1 file changed, 2 insertions(+), 1 deletion(-) > > diff --git a/Documentation/Makefile b/Documentation/Makefile > index cf5916f..b045628 100644 > --- a/Documentation/Makefile > +++ b/Documentation/Makefile > @@ -47,6 +47,7 @@ man7dir=$(mandir)/man7 > 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) $@+ $@ && \