From 7bc87a28e2f852391a9f4d3d1b3eb4d128633d9d Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 14 Feb 2002 10:07:18 +0000
Subject: [PATCH] OMDoc link fixed.

---
 helm/mowgli/home/templates/menu.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html
index 7a04a4303..f40a5721f 100644
--- 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>
-- 
2.39.2