[r2004-10-23 14:48:59 by afrisch] Empty log message

Original author: afrisch
Date: 2004-10-23 14:48:59+00:00

driver/webiface.ml

@@ -78,9 +78,9 @@ let html_header p =
  <div id=\"Sidelog\">
    <div class=\"box\">
     <ul>
-     <li><a href=\"/\">Main page</a></li>
-     <li><a href=\"/manual.html\">User's manual</a></li>
-     <li><a href=\"/memento.html\">Quick Reference</a></li>
+     <li><a href=\"http://www.cduce.org/\">Main page</a></li>
+     <li><a href=\"http://www.cduce.org/manual.html\">User's manual</a></li>
+     <li><a href=\"http://www.cduce.org/memento.html\">Quick Reference</a></li>
     </ul>
    </div>
 ";