From ec687bcadc634551301858af50c3cccf019ce067 Mon Sep 17 00:00:00 2001 From: James Valleroy Date: Mon, 15 Feb 2016 10:35:41 -0500 Subject: [PATCH] Use docbook2html for html manual. There were some characters that xmlto wasn't handling correctly. --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index a233ab066..de97d8c3a 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -55,7 +55,7 @@ fetch: %.html: %.xml - xmlto html-nochunks $< + docbook2html --nochunks $< %.1: %.xml