Use docbook2html for html manual.

There were some characters that xmlto wasn't handling correctly.
This commit is contained in:
James Valleroy 2016-02-15 10:35:41 -05:00
parent aff5e102a5
commit ec687bcadc
No known key found for this signature in database
GPG Key ID: 77C0C75E7B650808

View File

@ -55,7 +55,7 @@ fetch:
%.html: %.xml
xmlto html-nochunks $<
docbook2html --nochunks $<
%.1: %.xml