#! /usr/bin/perl
-# $Cambridge: exim/doc/doc-docbook/TidyHTML-spec,v 1.1 2005/06/16 10:32:31 ph10 Exp $
+# $Cambridge: exim/doc/doc-docbook/TidyHTML-spec,v 1.3 2006/02/01 11:01:01 ph10 Exp $
# Script to tidy up the spec HTML files that are generated by xmlto. The
# following changes are made:
# 2. Create reverse links from chapter and section titles back to the TOC.
# 3. Tidy the ix01.html file - the actual index - by splitting long lines.
# 4. Insert links from the letter divisions to the top of the Index.
+# 5. Turn <div class="literallayout"><p> into <div class="literallayout"> and
+# a matching </p></div> into </div> to get rid of unwanted vertical white
+# space.
+# 6. Before each occurrence of </td> insert so that the table's cell
+# is a little bit wider than the text itself.
chdir "spec.html";
print OUT @toc;
close(OUT);
-# Now scan each of the other page files and insert the reverse links.
+# Now scan each of the other page files and insert the reverse links. While
+# we are at it, we tidy up <div class="literallayout"> by removing unwanted
+# paragraph marks, which generate unwanted vertical space. We also insert
+# before </td> to push table cells apart from each other.
foreach $file (@chlist)
{
@text = <IN>;
close(IN);
+ # Insert a newline after certain elements, and split the lines so that each
+ # one is a separate element in the vector. This makes it easier to recognize
+ # these elements.
+
foreach $line (@text)
{
- if ($line =~ /^(.*?)<a( xmlns="[^"]+")? id="([^"]+)"><\/a>(.+?)<\/h(.*)$/)
+ $line =~ s/<p>\s*(?!\n)/<p>\n/g;
+ $line =~ s/<\/p>\s*(?!\n)/<\/p>\n/g;
+ $line =~ s/<\/div>\s*(?!\n)/<\/div>\n/g;
+ $line =~ s/<div([^>]*)>(?!\n)/<div$1>\n/g;
+ }
+
+ for ($i = 0; $i < scalar(@text); $i++)
+ { splice @text, $i, 1, (split /(?<=\n)/, $text[$i]); }
+
+ $thisdiv = 0;
+
+ for ($i = 0; $i < scalar(@text); $i++)
+ {
+ if ($text[$i] =~ /^(.*?)<a( xmlns="[^"]+")? id="([^"]+)"><\/a>(.+?)<\/h(.*)$/)
{
my($pre, $opt, $id, $title, $post) = ($1, $2, $3, $4, $5);
$ref = $backref{"$file"} if !defined $ref;
# Adjust the line
- $line = "$pre<a$opt href=\"index.html#$ref\" id=\"$id\">$title</a></h$post";
+ $text[$i]= "$pre<a$opt href=\"index.html#$ref\" id=\"$id\">$title</a></h$post";
+ }
+
+ elsif ($text[$i] =~ /^<div [^>]*?class="literallayout">$/ && $text[$i+1] eq "<p>\n")
+ {
+ $text[++$i] = "";
+ $thisdiv = 1;
+ }
+ elsif ($thisdiv && $text[$i] eq "</p>\n" && $text[$i+1] eq "</div>\n")
+ {
+ $text[$i] = "";
+ $thisdiv = 0;
+ }
+ elsif ($text[$i] =~ /^\s*<\/td>/)
+ {
+ $text[$i] = " $text[$i]";
}
}