From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 19 Sep 2012 17:59:44 GMT
Subject: Re: [PATCH] Documentation/Makefile: Allow custom XMLTO binary
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?

>  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) $@+ $@ && \