# HG changeset patch
# User diego
# Date 1173631852 0
# Node ID e204544de7101d6f1e2bb48cae5b1a2cbb52f9d2
# Parent  64175d0b25a4fcf42e294c74ef496b9f6f7b935d
Make sure docbook 4.x gets preferred over 3.x.

diff -r 64175d0b25a4 -r e204544de710 DOCS/xml/configure
--- a/DOCS/xml/configure	Sun Mar 11 16:26:13 2007 +0000
+++ b/DOCS/xml/configure	Sun Mar 11 16:50:52 2007 +0000
@@ -124,7 +124,9 @@
 EOF
 
 echo "Searching for DTD..."
+#FIXME: This should prefer higher version numbers, not the other way around ..
 for _try_dtd in \
+  /usr/share/xml/docbook/*/dtd/4*/docbookx.dtd \
   /usr/share/xml/docbook/*/docbookx.dtd \
   /usr/share/sgml/docbook/*/docbookx.dtd \
   /usr/share/sgml/docbook/dtd/*/docbookx.dtd \