Admin/website/dist/documentation.html

--- a/Admin/website/dist/documentation.html	Tue Jun 28 12:25:19 2005 +0200
+++ b/Admin/website/dist/documentation.html	Tue Jun 28 12:32:38 2005 +0200
@@ -15,7 +15,7 @@
     <div class="hr"><hr/></div>
 
     <div id="content">
-
+        <?include file="//include/mirrorlist.minor.include.html"?>
         <h2>Getting started</h2>
 
         <a href="//dist/img/tutorial_cover_big.gif">