OMDoc link fixed.

diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html
index 7a04a4303d68a9d17f31a451a582e6ca8a34285f..f40a5721f76ee898294cfacc9b7ac3745ef8b9ae 100644 (file)
--- a/helm/mowgli/home/templates/menu.html
+++ b/helm/mowgli/home/templates/menu.html
@@ -41,7 +41,7 @@
       <tr><td><a class="menulink" target="_top" href="http://www.cs.unibo.it/helm">HELM</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.w3.org/Math">MathML</a></td></tr>
       <tr><td><a class="menulink" target="_top" href="http://www.openmath.org">OpenMath</a></td></tr>
-      <tr><td><a class="menulink" target="_top" href="">OmDOC</a></td></tr>
+      <tr><td><a class="menulink" target="_top" href="http://www.mathweb.org/omdoc/news.html">OMDoc</a></td></tr>
       </table>
     </td>
   </tr>