Commit bb72b883 authored by zak@linux.local's avatar zak@linux.local
Browse files

Patched conversion system to generate well-formed XML

parent 50d514b6
Loading
Loading
Loading
Loading
+1 −0
Original line number Diff line number Diff line
@@ -460,3 +460,4 @@ vio/test-sslserver
vio/viotest-ssl
Docs/mysql.xml
mysql-test/r/rpl000001.eval
Docs/safe-mysql.xml
+1 −0
Original line number Diff line number Diff line
@@ -45,3 +45,4 @@ tonu@volk.internalnet
tonu@x153.internalnet
tonu@x3.internalnet
venu@work.mysql.com
zak@linux.local
+33 −1
Original line number Diff line number Diff line
#!/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;

+5 −4
Original line number Diff line number Diff line
@@ -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