dborow...@google.com writes: > From: Dave Borowitz <dborow...@google.com> > > Signed-off-by: Dave Borowitz <dborow...@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) $@+ $@ && \ -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
