Patched conversion system to generate well-formed XML

Docs/Support/docbook-fixup.pl:
  Series of minor changes to convert the output of makeinfo to well-formed XML
   - Discarded DTD - ORA can add their own appropriate DTD
   - Added required XML PI - included appropriate character encoding information
   - Added missing abstract and bookinfo tags
   - Escaped ampersands in HTML escape sequences to allow validation - need to review
Docs/Support/make-docbook:
  Forced validation of XML document at end of conversion process
  Removed temporary files - set makeinfo output to stdout
BitKeeper/etc/ignore:
  Added Docs/safe-mysql.xml to the ignore list
BitKeeper/etc/logging_ok:
  Logging to logging@openlogging.org accepted

.bzrignore

@@ -460,3 +460,4 @@ vio/test-sslserver
 vio/viotest-ssl
 Docs/mysql.xml
 mysql-test/r/rpl000001.eval
+Docs/safe-mysql.xml

BitKeeper/etc/logging_ok

@@ -45,3 +45,4 @@ tonu@volk.internalnet
 tonu@x153.internalnet
 tonu@x3.internalnet
 venu@work.mysql.com
+zak@linux.local

Docs/Support/docbook-fixup.pl

-#!/usr/bin/perl
+#!/usr/bin/perl -w
+# 2002-02-15 zak@mysql.com
+# Use -w to make perl print useful warnings about the script being run
 
 sub fix_underscore {
   $str = shift;
@@ -13,9 +15,39 @@ sub strip_emph {
   return $str;
 };
 
+print STDERR "\n--Post-processing makeinfo output--\n";
 
+# 2002-02-15 zak@mysql.com
+print STDERR "Discard DTD - ORA can add the appropriate DTD for their flavour of DocBook\n";
+<STDIN>;
+
+print STDERR "Slurp! In comes the rest of the file. :)\n";
 $data = join "", <STDIN>;
 
+# 2002-02-15 zak@mysql.com
+print STDERR "Add an XML processing instruction with the right character encoding\n";
+$data = "<?xml version='1.0' encoding='ISO-8859-1'?>" . $data;
+
+# 2002-02-15 zak@mysql.com
+# Less than optimal - should be fixed in makeinfo
+print STDERR "Put in missing <bookinfo> and <abstract>\n";
+$data =~ s/<book lang="en">/<book lang="en"><bookinfo><abstract>/gs;
+
+# 2002-02-15 zak@mysql.com
+print STDERR "Convert existing ampersands to escape sequences \n";
+$data =~ s/&(?!\w+;)/&amp;/gs;
+
+# 2002-02-15 zak@mysql.com
+# Need to talk to Arjen about what the <n> bits are for
+print STDERR "Rework references of the notation '<n>'\n";
+$data =~ s/<(\d)>/[$1]/gs;
+  
+# 2002-02-15 zak@mysql.com
+# We might need to encode the high-bit characters to ensure proper representation
+# print STDERR "Converting high-bit characters to entities\n";
+# $data =~ s/([\200-\400])/&get_entity($1)>/gs;
+# There is no get_entity function yet - no point writing it til we need it :)
+
 print STDERR "Changing @@ to @...\n";
 $data =~ s/@@/@/gs;
 

Docs/Support/make-docbook

@@ -13,7 +13,8 @@
          sed -e 's;MYSQL_TCP_PORT_DEFAULT=;;' >> include.texi
 
 # produce DocBook XML
-        makeinfo --force --no-ifinfo --docbook manual.texi
-        mv mysql.xml mysql-tmp.xml
-        Support/docbook-fixup.pl <mysql-tmp.xml >mysql.xml
-        rm -f mysql-tmp.xml
+        makeinfo --force --no-ifinfo --docbook -o - manual.texi |\
+         Support/docbook-fixup.pl > mysql.xml
+    
+        # See if the XML output is well-formed
+        xmlwf mysql.xml