[MPlayer-DOCS] [PATCH] make configure and generated main.xml's more "spec-valid"

[Torinthiel]

According to the W3C XML specification, and to the DocBook guide at
http://www.docbook.org/tdg/en/html/docbook.html , the system identifier
of the DTD should be URI. Now the XML spec shows simple "hello.dtd" as
example, so this is quite valid, but the DocBook suggests file://path
URIs which are correct local file URIs. The attached patch makes
configure use file:// when appropriate, and also fall back to
internet-available DTD if no local was found, which didn't cause problem
on my box (except for a bit slower testing) and is IMHO better than
hard-coding already tested and non-existent path.
OK to apply?
Torinthiel

-- 
 Waclaw "Torinthiel" Schiller       GG#: 3073512
   torinthiel(at)megapolis(dot)pl
   gpg: 0906A2CE fpr: EE3E DFB4 C4D6 E22E 8999  D714 7CEB CDDC 0906 A2CE
 "No classmates may be used during this examination"
-------------- next part --------------
Index: DOCS/xml/configure
===================================================================
--- DOCS/xml/configure	(revision 21813)
+++ DOCS/xml/configure	(working copy)
@@ -140,10 +140,11 @@
 
 if test -z "$_dtd"
 then
-  _dtd=/usr/share/sgml/docbook/dtd/xml/4.1.2/docbookx.dtd
+  _dtd='http://www.oasis-open.org/docbook/xml/4.1.2/docbookx.dtd'
   echo "Not found. Using default ($_dtd)."
 else
   echo "Found docbookx.dtd at $_dtd"
+  _dtd="file://$_dtd"
 fi
 
 for lang in `grep 'SUBDIRS =' Makefile|cut -d= -f2`; do
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 189 bytes
Desc: not available
URL: <http://lists.mplayerhq.hu/pipermail/mplayer-docs/attachments/20070104/bc5b19e8/attachment.pgp>