--- web/cgi-bin/docs.cgi	2004/03/24 23:29:21	1.10
+++ 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;
 
@@ -136,13 +136,8 @@ my ($urls) = '(' . join ('|', qw{
 # Print the contents of a file containing html
 sub print_html ($) {
     my ($filename) = @_;
-    my($virtual) = '<!--#include virtual="/cgi-bin/logo.cgi" -->';
-    my(@virtualresponse) = `/web/i-scream/nwww.cgi-bin/logo.cgi`;
     open(FILE, $filename);
     while(<FILE>) {
-        if(/$virtual/) {
-            s/$virtual/$virtualresponse[@virtualresponse-1]/;
-        }
         print;
     }
     close FILE;