--- a/Admin/website/include/navigation.include.html Mon Jul 04 14:42:06 2005 +0200
+++ b/Admin/website/include/navigation.include.html Mon Jul 04 15:15:55 2005 +0200
@@ -7,7 +7,10 @@
<?navitem target="index.html" title="Home" ?>
<?navitem target="overview.html" title="Overview" ?>
<?navitem target="logics.html" title="Logics" ?>
+ <?navitem target="installation.html" title="Installation" ?>
+ <?navitem target="packages.html" title="Packages" ?>
+ <?navitem target="documentation.html" title="Documentation" ?>
<?navitem target="community.html" title="Community" ?>
- <?navitem target="dist/index.html" title="Distribution" ?>
+ <li><?include file="//include/mirrorlist.include.html"?></li>
</ul>
</div>