--- doc/manual.xml.head.orig 2019-11-24 03:39:46 UTC +++ doc/manual.xml.head @@ -1,6 +1,6 @@ + "/usr/local/share/xml/docbook/4.2/docbookx.dtd">