Admin/website/include/navigation.include.html
changeset 16674 bf2cd93cc245
parent 16239 5be516f79075
child 17677 9763b78adb1b
--- 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>