Some clean-up (unuseful sed removed from Makefile).

[helm.git] / helm / mowgli / home / xml / members-index.xml

diff --git a/helm/mowgli/home/xml/members-index.xml b/helm/mowgli/home/xml/members-index.xml
index 93eb7a7cf3e262644563c7791e65cd569205de9c..3d3d80b2ed3f3b1339ff6f2c0dc3ecd2cd6cabe9 100644 (file)
--- a/helm/mowgli/home/xml/members-index.xml
+++ b/helm/mowgli/home/xml/members-index.xml
@@ -14,6 +14,7 @@
 
   <ul>
     <li><a href="#ml">Mailing Lists</a></li>
+    <li><a href="#contract">The Contract</a></li>
   </ul>
   
   <hr/>
@@ -33,12 +34,21 @@
   <dl>
     <dt>
       <b>mowgli-dev (<a href="http://mowgli.cs.unibo.it/mailman/listinfo/mowgli-dev">Info</a>,
-      Archive)</b>
+      <a href="http://mowgli.cs.unibo.it/pipermail/mowgli-dev/">Archive</a>)</b>
     </dt>
     <dd>
       General development issues of the project
     </dd>
   </dl>
+
+  <hr />
+
+  <h2><a name="contract">The Contract</a></h2>
+
+   <p>The contract in <a href="contract/mowgli.ps">PostScript</a>
+      and <a href="contract/mowgli.pdf">PDF</a>. The
+      <a href="contract/contract.tgz">contract sources</a> (in
+      LaTeX) and the <a href="contract/MOWGLI.xls">Excel forms</a>
+      are also available.</p>
  </body>
 </html>
-