--- web/cgi-bin/docs.cgi	2004/03/24 20:57:27	1.9
+++ 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;