From 4827366874943f0a8665d7111fc3a5b4007c6f21 Mon Sep 17 00:00:00 2001 From: Eitan Adler Date: Thu, 21 Jun 2012 03:20:54 +0000 Subject: [PATCH] Add a menu item linking to the documentation svn repository. Include "source" in the original menu option. Reviewed by: issyl0 Approved by: bcr --- en_US.ISO8859-1/htdocs/cgi/cgi-style.pl | 3 ++- share/sgml/header.ent | 3 ++- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl b/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl index 3a5567c6c7..6e5c9e2674 100644 --- a/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl +++ b/en_US.ISO8859-1/htdocs/cgi/cgi-style.pl @@ -151,7 +151,8 @@ $i_topbar = qq`
  • Developers diff --git a/share/sgml/header.ent b/share/sgml/header.ent index f9931a25ef..ac6f1c9dfd 100644 --- a/share/sgml/header.ent +++ b/share/sgml/header.ent @@ -190,7 +190,8 @@
  • Developers