From c445b324596cd02591d28fd73633f4f4b272bd9c Mon Sep 17 00:00:00 2001
From: Axel Burri <axel@tty0.ch>
Date: Wed, 11 Oct 2017 23:21:24 +0200
Subject: [PATCH] doc/Makefile: use a2x --no-noxmllint for man page conversion

---
 doc/Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile
index 5e5916e..de05b86 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -38,11 +38,15 @@ clean:
 	gzip -9f $<
 
 # convert using a2x from asciidoc package: http://asciidoc.org
+
+# NOTE: we are using -L (--no-xmllint), as this xmllint is a separate
+# package on many distros.
+
 %.1 : %.1.asciidoc
-	a2x -d manpage -f manpage $<
+	a2x -L -d manpage -f manpage $<
 
 %.5 : %.5.asciidoc
-	a2x -d manpage -f manpage $<
+	a2x -L -d manpage -f manpage $<
 
 %.html : %.asciidoc
 	asciidoc -b html -d article -o $@ $<