Consolidate multiple SVN menus into one now that the SVN repository contains source, doc, and ports. Based on jgh's diff, but modifies both the static header and the CGI program that generates the header for dynamic pages. PR: 169798 Submitted by: jgh Reviewed by: gjb
head/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl
head/share/sgml/header.ent