<?
/*
$Id: menu.php,v 1.8 2004/06/07 10:13:12 max Exp $
*/
?>
<br />
<a href="<?generaLink("home","$lang");?>">Home</a>
<br /><br />
<font color="#990000"><b>Documentation</b></font><br />
<a href="<?generaLink("faq","$lang");?>">FAQ</a><br />
<a href="<?generaLink("screenshot","$lang");?>">Screenshots</a><br />
<br />
<font color="#990000"><b>How to get it</b></font><br />
<a href="<?generaLink("mirror","$lang");?>">Mirrors</a><br /> 
<a href="<?generaLink("download","$lang");?>">Download</a><br />
<a href="<?generaLink("vendors","$lang");?>">Vendors</a><br />
<br />
<font color="#990000"><b>Developers</b></font><br />
<a href="<?generaLink("cvs","$lang");?>">CVS</a><br />
<a href="http://bugs.FreeSBIE.org/">Bug Tracker</a><br />
<br />
<font color="#990000"><b>Getting in touch</b></font><br />
<a href="<?generaLink("contacts","$lang");?>">Contacts</a><br />
<a href="<?generaLink("ml","$lang");?>">Mailing List</a><br />
