[Savannah-cvs] administration/content/gnu-content menu.txt

[Karl Berry]

CVSROOT:        /web/administration
Module name:    administration
Changes by:     Karl Berry <karl>       08/06/16 17:13:19

Modified files:
        content/gnu-content: menu.txt 

Log message:
        nbsp was bad idea; keep short mirror text

CVSWeb URLs:
http://web.cvs.savannah.gnu.org/viewcvs/administration/content/gnu-content/menu.txt?cvsroot=administration&r1=1.20&r2=1.21

Patches:
Index: menu.txt
===================================================================
RCS file: /web/administration/administration/content/gnu-content/menu.txt,v
retrieving revision 1.20
retrieving revision 1.21
diff -u -b -r1.20 -r1.21
--- menu.txt    16 Jun 2008 17:11:06 -0000      1.20
+++ menu.txt    16 Jun 2008 17:13:18 -0000      1.21
@@ -1,13 +1,13 @@
-<!-- $Id: menu.txt,v 1.20 2008/06/16 17:11:06 karl Exp $  BEGIN -->
+<!-- $Id: menu.txt,v 1.21 2008/06/16 17:13:18 karl Exp $  BEGIN -->
 <?php
 // Savannah - Additional menus sample file
-// $Id: menu.txt,v 1.20 2008/06/16 17:11:06 karl Exp $
+// $Id: menu.txt,v 1.21 2008/06/16 17:13:18 karl Exp $
 
 
 global $HTML;
 $HTML->menu_entry('http://savannah.gnu.org/maintenance/FaQ', 'FAQ');
 
-$HTML->menuhtml_top('Developer&nbsp;Info');
+$HTML->menuhtml_top('Developer Info');
 
$HTML->menu_entry('https://savannah.gnu.org/faq/?admin=&amp;group_id=5802&amp;question=Savannah_-_Is_there_any_restriction_on_cryptographic_software.txt','Cryptographic
 software legal notice');
 
$HTML->menu_entry('https://savannah.gnu.org/faq/?question=CVS_-_How_to_do_anonymous_access.txt','Anonymous
 CVS');
 $HTML->menuhtml_bottom();
@@ -17,7 +17,7 @@
 $HTML->menu_entry("http://www.gnu.org/directory/GNU";,'All GNU Packages');
 $HTML->menu_entry('http://www.gnu.org/software/devel.html','Dev Resources');
 $HTML->menu_entry('http://www.gnu.org/licenses/license-list.html','License 
List');
-$HTML->menu_entry('http://www.gnu.org/prep/ftp.html','GNU Download Mirrors');
+$HTML->menu_entry('http://www.gnu.org/prep/ftp.html','GNU Mirrors');
 $HTML->menuhtml_bottom();
 
 $HTML->menuhtml_top('Free Software Foundation');
@@ -30,4 +30,4 @@
 // shown in every page. You can also delete the above menu and leave
 // this page empty if you want to.
 ?>
-<!-- $Id: menu.txt,v 1.20 2008/06/16 17:11:06 karl Exp $  END -->
+<!-- $Id: menu.txt,v 1.21 2008/06/16 17:13:18 karl Exp $  END -->