Admin/website/include/navigation_dist.include.html

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/include/navigation_dist.include.html	Sat Jun 04 10:26:08 2005 +0200
@@ -0,0 +1,13 @@
+<?xml version='1.0' encoding='iso-8859-1' ?>
+<!DOCTYPE div PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<?cvs id="$Id$"?>
+<div id="navigation">
+    <h2>Navigation</h2>
+    <ul>
+        <?navitem target="index.html"           title="Mirrors"          ?>
+        <?navitem target="installation.html"    title="Installation"     ?>
+        <?navitem target="download.html"        title="Download"         ?>
+        <?navitem target="documentation.html"   title="Documentation"    ?>
+        <?navitem target="others.html"          title="Other links"      ?>
+    </ul>
+</div>