From 3fb1bc734e7c15515dc4cefb9ca89c40b423bace Mon Sep 17 00:00:00 2001 From: diego Date: Sun, 11 Mar 2007 16:50:52 +0000 Subject: [PATCH] Make sure docbook 4.x gets preferred over 3.x. git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@22514 b3059339-0415-0410-9bf9-f77b7e298cf2 --- DOCS/xml/configure | 2 ++ 1 file changed, 2 insertions(+) diff --git a/DOCS/xml/configure b/DOCS/xml/configure index 99ff0a1b29..880a8a8a39 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -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 \