7 my $top = ' <a href="#toc"><img src="/img/up.gif"/></a>';
16 if ( /^( Changes between.*)/ ) {
17 $out .= "</pre>\n" unless $skipping;
19 $out .= "<h3><a name=\"x$ctr\">$1</a>$top</h3>\n<pre>\n";
20 $toc .= " <li><a href=\"#x$ctr\">$1</a></li>\n";
22 } elsif ( ! $skipping ) {
28 print "<h3><a name='toc'>Table of contents</a></h3>\n";