diff options
author | rathann <rathann@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2004-11-01 14:44:57 +0000 |
---|---|---|
committer | rathann <rathann@b3059339-0415-0410-9bf9-f77b7e298cf2> | 2004-11-01 14:44:57 +0000 |
commit | 8fbd447e75fc0ee94752b89ccd4571a9c4c8a2d3 (patch) | |
tree | 247e16eedf546faf7ae6577ff080afc7ad5ce0b7 | |
parent | a10c321342664f71209cffd7bf9dc795fd0c993e (diff) | |
download | mpv-8fbd447e75fc0ee94752b89ccd4571a9c4c8a2d3.tar.bz2 mpv-8fbd447e75fc0ee94752b89ccd4571a9c4c8a2d3.tar.xz |
small fix to find DocBook DTD in more exotic locations like
/usr/share/sgml/docbook/xml-dtd-4.1.2-1.0-22.1/docbookx.dtd
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@13839 b3059339-0415-0410-9bf9-f77b7e298cf2
-rwxr-xr-x | DOCS/xml/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/DOCS/xml/configure b/DOCS/xml/configure index b100112449..236689c6dc 100755 --- a/DOCS/xml/configure +++ b/DOCS/xml/configure @@ -95,7 +95,7 @@ cat > html-single.xsl << EOF EOF echo "Searching for DTD..." -for _try_dtd in /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/xml/docbook/schema/dtd/4.2/docbookx.dtd /usr/share/sgml/docbook/dtd/4.2/docbookx.dtd +for _try_dtd in /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/xml/docbook/schema/dtd/4.2/docbookx.dtd /usr/share/sgml/docbook/dtd/4.2/docbookx.dtd do if test -f "$_try_dtd" then |