[email protected] writes: > From: Dave Borowitz <[email protected]> > > Signed-off-by: Dave Borowitz <[email protected]> > ---
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 [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html

