menu_entry('//savannah.gnu.org/maintenance/FaQ', 'User Docs: FAQ');
$HTML->menuhtml_top('GNU Project');
$HTML->menu_entry('//www.gnu.org/help/help.html','Help GNU');
$HTML->menu_entry("//www.gnu.org/software/software.html",'All GNU Packages');
$HTML->menu_entry('//www.gnu.org/software/devel.html','Dev Resources');
$HTML->menu_entry('//www.gnu.org/licenses/license-list.html','License List');
$HTML->menu_entry('//www.gnu.org/prep/ftp.html','GNU Mirrors');
$HTML->menuhtml_bottom();
?>
menuhtml_top('Free Software Foundation');
$HTML->menu_entry('//www.fsf.org/events/','Coming Events');
$HTML->menu_entry("//www.fsf.org/directory/",'Free Software Directory');
$HTML->menu_entry('//savannah.gnu.org/maintenance/SavannahCryptographicRestrictions','Cryptographic software legal notice');
$HTML->menu_entry('//www.fsf.org/about/dmca-notice','Copyright infringement notification');
$HTML->menuhtml_bottom();
$HTML->menuhtml_top('Related Forges');
if ($_SERVER['HTTP_HOST'] == 'savannah.gnu.org')
$HTML->menu_entry('//savannah.nongnu.org/','Savannah Non-GNU');
else
$HTML->menu_entry('//savannah.gnu.org/','GNU Savannah');
$HTML->menu_entry('//gna.org/','Gna!');
$HTML->menu_entry('//puszcza.gnu.org.ua/','Puszcza');
$HTML->menuhtml_bottom();
// You can create other menus here, following the model above. They will be
// shown in every page. You can also delete the above menu and leave
// this page empty if you want to.
?>