From owner-svn-doc-head@FreeBSD.ORG Tue Jul 17 16:35:35 2012 Return-Path: Delivered-To: svn-doc-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34]) by hub.freebsd.org (Postfix) with ESMTP id E41A61065673; Tue, 17 Jul 2012 16:35:35 +0000 (UTC) (envelope-from wblock@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:4f8:fff6::2c]) by mx1.freebsd.org (Postfix) with ESMTP id B5A2F8FC15; Tue, 17 Jul 2012 16:35:35 +0000 (UTC) Received: from svn.freebsd.org (localhost [127.0.0.1]) by svn.freebsd.org (8.14.4/8.14.4) with ESMTP id q6HGZZ9V072110; Tue, 17 Jul 2012 16:35:35 GMT (envelope-from wblock@svn.freebsd.org) Received: (from wblock@localhost) by svn.freebsd.org (8.14.4/8.14.4/Submit) id q6HGZZ7p072107; Tue, 17 Jul 2012 16:35:35 GMT (envelope-from wblock@svn.freebsd.org) Message-Id: <201207171635.q6HGZZ7p072107@svn.freebsd.org> From: Warren Block Date: Tue, 17 Jul 2012 16:35:35 +0000 (UTC) To: doc-committers@freebsd.org, svn-doc-all@freebsd.org, svn-doc-head@freebsd.org X-SVN-Group: doc-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Cc: Subject: svn commit: r39229 - in head: en_US.ISO8859-1/htdocs/cgi share/sgml X-BeenThere: svn-doc-head@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: SVN commit messages for the doc tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 17 Jul 2012 16:35:36 -0000 Author: wblock Date: Tue Jul 17 16:35:35 2012 New Revision: 39229 URL: http://svn.freebsd.org/changeset/doc/39229 Log: 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 Modified: head/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl head/share/sgml/header.ent Modified: head/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl ============================================================================== --- head/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl Tue Jul 17 10:31:42 2012 (r39228) +++ head/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl Tue Jul 17 16:35:35 2012 (r39229) @@ -151,8 +151,7 @@ $i_topbar = qq`
  • Developers Modified: head/share/sgml/header.ent ============================================================================== --- head/share/sgml/header.ent Tue Jul 17 10:31:42 2012 (r39228) +++ head/share/sgml/header.ent Tue Jul 17 16:35:35 2012 (r39229) @@ -190,8 +190,7 @@
  • Developers