--- doc/manual.xml.head.orig 2016-10-08 19:35:50 UTC +++ doc/manual.xml.head @@ -1,6 +1,6 @@ + "/usr/local/share/xml/docbook/4.2/docbookx.dtd">