diff options
author | 2004-06-17 09:02:06 +0000 | |
---|---|---|
committer | 2004-06-17 09:02:06 +0000 | |
commit | c2bcbf4ecd5d612d35da939a915c657b96680781 (patch) | |
tree | 2b9c157e4d0204402169b84192aa01100ff2e4f4 | |
parent | bc36771f38d1bd252db63c98350e8dbea9df1abe (diff) |
another DTD location
git-svn-id: svn://svn.mplayerhq.hu/mplayer/trunk@12604 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 69b67f31f5..b100112449 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 +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 |