# HG changeset patch # User diego # Date 1170685053 0 # Node ID b49bc3a14c3c2eda5f12b906cdc2f68f5b7ecc4b # Parent 49e60723af41e20ca0d394783a624ed057378ac2 some more docbook paths, patch by Torinthiel diff -r 49e60723af41 -r b49bc3a14c3c DOCS/xml/configure --- a/DOCS/xml/configure Mon Feb 05 13:14:41 2007 +0000 +++ b/DOCS/xml/configure Mon Feb 05 14:17:33 2007 +0000 @@ -126,14 +126,12 @@ echo "Searching for DTD..." for _try_dtd in \ /usr/share/xml/docbook/*/docbookx.dtd \ - /usr/share/sgml/docbook/dtd/xml/4.1.2/docbookx.dtd \ - /usr/share/docbook-xml42/docbookx.dtd \ - /usr/share/sgml/docbook/xml-dtd-4.1.2*/docbookx.dtd \ - /usr/share/sgml/docbook/xml-dtd-4.2/docbookx.dtd \ - /usr/share/sgml/docbook/xml-dtd-4.4/docbookx.dtd \ - /usr/share/xml/docbook/schema/dtd/4.2/docbookx.dtd \ - /opt/local/share/xml/docbook-xml/4.2/docbookx.dtd \ - /usr/share/sgml/docbook/dtd/4.2/docbookx.dtd + /usr/share/sgml/docbook/*/docbookx.dtd \ + /usr/share/sgml/docbook/dtd/*/docbookx.dtd \ + /usr/share/sgml/docbook/dtd/xml/*/docbookx.dtd \ + /usr/share/docbook-xml*/docbookx.dtd \ + /opt/local/share/xml/docbook-xml/*/docbookx.dtd \ + /usr/share/apps/ksgmltools2/docbook/*/docbookx.dtd do if test -f "$_try_dtd" then