From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 28 Mar 2002 14:48:47 +0000 (+0000)
Subject: The contract is now on-line (but for an excel file still missing).
X-Git-Tag: V_0_3_0_debian_8~187
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6c309000c5e3095e2f25fdd29a42912600949049;p=helm.git

The contract is now on-line (but for an excel file still missing).
---

diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile
index 4e8da5e3d..a6c631fb3 100644
--- a/helm/mowgli/home/html/Makefile
+++ b/helm/mowgli/home/html/Makefile
@@ -327,6 +327,9 @@ install: $(DOCUMENTS)
 	mkdir -p $(DESTDIR)/misc/proposal
 	cp ../htaccess $(DESTDIR)/misc/proposal/.htaccess
 	cp ../misc/proposal/*.* $(DESTDIR)/misc/proposal
+	mkdir -p $(DESTDIR)/misc/contract
+	cp ../htaccess $(DESTDIR)/misc/contract/.htaccess
+	cp ../misc/contract/*.* $(DESTDIR)/misc/contract
 	cp ../misc/kick-off/*.* $(DESTDIR)/misc/kick-off
 	cp ../htaccess $(DESTDIR)/misc/kick-off/.htaccess
 	if [ $(FRAMES) = yes ] ; \
diff --git a/helm/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf b/helm/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf
new file mode 100644
index 000000000..6b696d171
Binary files /dev/null and b/helm/mowgli/home/misc/contract/RTD-annex2-rtd-final.pdf differ
diff --git a/helm/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf b/helm/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf
new file mode 100644
index 000000000..dcb7ca2ab
Binary files /dev/null and b/helm/mowgli/home/misc/contract/RTD-annex3-ist-fet.pdf differ
diff --git a/helm/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf b/helm/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf
new file mode 100644
index 000000000..2ed10963f
Binary files /dev/null and b/helm/mowgli/home/misc/contract/RTD-audit-cert-annex4.pdf differ
diff --git a/helm/mowgli/home/misc/contract/contract.tgz b/helm/mowgli/home/misc/contract/contract.tgz
deleted file mode 100644
index d3ea088d7..000000000
Binary files a/helm/mowgli/home/misc/contract/contract.tgz and /dev/null differ
diff --git a/helm/mowgli/home/misc/contract/mowgli-an1-final.pdf b/helm/mowgli/home/misc/contract/mowgli-an1-final.pdf
new file mode 100644
index 000000000..0dbd1ec59
Binary files /dev/null and b/helm/mowgli/home/misc/contract/mowgli-an1-final.pdf differ
diff --git a/helm/mowgli/home/misc/contract/mowgli-ctr-final.pdf b/helm/mowgli/home/misc/contract/mowgli-ctr-final.pdf
new file mode 100644
index 000000000..fbb1902fa
Binary files /dev/null and b/helm/mowgli/home/misc/contract/mowgli-ctr-final.pdf differ
diff --git a/helm/mowgli/home/xml/members-index.xml b/helm/mowgli/home/xml/members-index.xml
index 218811456..a720a669b 100644
--- a/helm/mowgli/home/xml/members-index.xml
+++ b/helm/mowgli/home/xml/members-index.xml
@@ -17,6 +17,7 @@
   <ul>
     <li><a href="#ml">Mailing Lists</a></li>
     <li><a href="#proposal">The Proposal</a></li>
+    <li><a href="#contract">The Contract</a></li>
     <li><a href="#minutes">Reports of the Meetings</a></li>
   </ul>
   
@@ -63,6 +64,21 @@
 
   <hr />
 
+  <h2><a name="contract">The Contract</a></h2>
+
+   <p><a href="../../misc/contract/mowgli-ctr-final.pdf">The contract</a> in
+       PDF. See also
+      <a href="../../misc/contract/mowgli-an1-final.pdf">the first annex </a>
+      (that is just a copy of the proposal),
+      <a href="../../misc/contract/RTD-annex2-rtd-final.pdf">the second
+      annex</a>,
+      <a href="../../misc/contract/RTD-annex3-ist-fet.pdf">the third annex</a>
+      and
+      <a href="../../misc/contract/RTD-audit-cert-annex4.pdf">the fourth
+      annex</a>.</p>
+
+  <hr />
+
   <h2><a name="minutes">Reports of the Meetings</a></h2>
 
   <p>Reports are available for the following meetings:</p>