From 4c355488aa4876aeee63a5c983405379dafc716a Mon Sep 17 00:00:00 2001 From: Jimmy Thrasher Date: Thu, 11 Feb 2016 08:49:18 -0500 Subject: [PATCH] Turn off xmllint for a2x.py The docbook DTD is not locally available in OSX, and the a2x.py command calls xmllint with `--nonet` so it can't fetch the DTD. Easier to just turn off linting. --- src/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Makefile b/src/Makefile index 382a7a6e..f27d927d 100644 --- a/src/Makefile +++ b/src/Makefile @@ -72,14 +72,14 @@ kak : $(objects) # Generate the man page ../doc/kak.1.gz: ../doc/kak.1.txt - $(A2X) -f manpage $< + $(A2X) --no-xmllint -f manpage $< gzip -f $(basename $<) # Generate the editor's documentation pages # Since `a2x` won't generate man pages if some sections are missing (which we don't need), # we generate the pages, patch them and then compress them ../doc/manpages/%.gz: ../doc/manpages/%.asciidoc - $(A2X) -f manpage $< + $(A2X) --no-xmllint -f manpage $< sed -i -r -e "s,^\.TH .+,.TH KAKOUNE 1 \"\" \"\" \"$(basename $(notdir $<))\"," \ -e "/^\.SH \"NAME\"/,+1d" $(@:.gz=.1) gzip -f $(@:.gz=.1)