text: #!/usr/bin/perl
  #
  # read each line from each HTML file on command-line
  # looking for table of contents.  print only the ToC
  # with substitutions for an external outline jump table.
  
  $intoc = 0;
  $title = "";
  
  while (<>) {
      if ($intoc) {
          s/<a href="\#/<a href="$ARGV\#/g;
          print;
          if (m:^      </ul>:o) {
              $intoc = 0;
          }
      }
      else {
          if (/^      <p class="title">([^<]*)</o) {
              $title = $1;
          }
          elsif (/<a href="#rfc\.toc">Table of Contents/o) {
              print "\n<h2><a href=\"$ARGV\">$title</a></h2>\n";
              $intoc = 1;
              $title = "";
          }
      }
  }
  