[MPlayer-DOCS] r22514 - trunk/DOCS/xml/configure

[diego]

Author: diego
Date: Sun Mar 11 17:50:52 2007
New Revision: 22514

Modified:
   trunk/DOCS/xml/configure

Log:
Make sure docbook 4.x gets preferred over 3.x.


Modified: trunk/DOCS/xml/configure
==============================================================================
--- trunk/DOCS/xml/configure	(original)
+++ trunk/DOCS/xml/configure	Sun Mar 11 17:50:52 2007
@@ -124,7 +124,9 @@ cat > html-single.xsl << EOF
 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 \