--- doc/manual.xml.head.orig 2009-06-22 08:35:06.000000000 +0200 +++ doc/manual.xml.head 2009-06-22 08:37:31.000000000 +0200 @@ -1,6 +1,6 @@ + "/usr/local/share/xml/docbook/4.2/docbookx.dtd">