--- web/cgi-bin/docs.cgi	2004/03/24 13:11:42	1.8
+++ web/cgi-bin/docs.cgi	2004/03/24 23:53:09	1.11
@@ -13,7 +13,7 @@ my ($doctype) = "$incdir/doctype.inc";
 my ($style) = "$incdir/style.inc";
 my ($header) = "$incdir/header.inc";
 my ($footer) = "$incdir/footer.inc";
-my ($menu) = "$incdir/menu.inc" ;
+my ($menu) = "$incdir/menu-static.inc" ;
 
 my ($query) = new CGI;
 
@@ -98,7 +98,7 @@ END
 exit 0;
 
 # Print a file, whilst escaping HTML: -
-sub print_file ($) {
+sub print_file {
 my ($urls) = '(' . join ('|', qw{
 	       http
 	       telnet
@@ -109,32 +109,36 @@ my ($urls) = '(' . join ('|', qw{
 	       } )
 	   . ')';
 
-my ($ltrs) = '\w';
-my ($gunk) = '/#~:.?+=&%@!\-';
-my ($punc) = '.:?\-';
-my ($any) = "${ltrs}${gunk}${punc}";
-my ($filename) = @_;
-if(open(FILE, $filename)) {
-    print "          <pre>\n";
-    # Use $_ implicitly throughout.
-    while (<FILE>) {
-        # Must do the next line first!
-        s/&/&amp;/g;
-        s/</&lt;/g;
-        s/>/&gt;/g;
-        s/"/&quot;/g;
-        s/\b($urls:[$any]+?)(?=[$punc]*[^$any]|$)/<a href="$1">$1<\/a>/igox;
-        print;
+    my ($ltrs) = '\w';
+    my ($gunk) = '/#~:.?+=&%@!\-';
+    my ($punc) = '.:?\-';
+    my ($any) = "${ltrs}${gunk}${punc}";
+    my ($filename) = @_;
+    if(open(FILE, $filename)) {
+        print "          <pre>\n";
+        # Use $_ implicitly throughout.
+        while (<FILE>) {
+            # Must do the next line first!
+            s/&/&amp;/g;
+            s/</&lt;/g;
+            s/>/&gt;/g;
+            s/"/&quot;/g;
+            s/\b($urls:[$any]+?)(?=[$punc]*[^$any]|$)/<a href="$1">$1<\/a>/igox;
+            print;
+        }
+        print "\n</pre>";
     }
-    print "\n</pre>";
+    else {
+        print "Failed to open $docname.";
+    }
 }
-else {
-    print "Failed to open $docname.";
-}
-}
 
-# Print a file without escaping HTML: -
+# Print the contents of a file containing html
 sub print_html ($) {
-my ($filename) = @_;
-print `cat $filename 2>&1`;
+    my ($filename) = @_;
+    open(FILE, $filename);
+    while(<FILE>) {
+        print;
+    }
+    close FILE;
 }