version 1.2, 2001/02/25 17:28:39
|
version 1.3.2.1, 2001/08/15 18:00:25
|
|
|
# | # |
# GAWK Program to extract all of the @name entities from | # GAWK Program to extract all of the @name entities from |
# the document and |
# the document and create a table of contents page. |
|
# This file analyzes all of the files pointed to by the top |
|
# level file in the document structure. |
# | # |
BEGIN { | BEGIN { |
level = 0 | level = 0 |
|
|
print "<base target=\"main\">" | print "<base target=\"main\">" |
print "</head>" | print "</head>" |
print "<body bgcolor=\"#FF9966\">" | print "<body bgcolor=\"#FF9966\">" |
print "<p align=\"center\"><img border=\"0\" src=\"pegicon2.GIF\" width=\"100\" height=\"100\"></p>" |
print "<p align=\"center\"><img border=\"0\" src=\"pegicon2.gif\" width=\"100\" height=\"100\"></p>" |
print "<p> </p>" | print "<p> </p>" |
print "<p><b><font size=\"5\">Contents</font></b></p>" | print "<p><b><font size=\"5\">Contents</font></b></p>" |
print "<TABLE>" | print "<TABLE>" |