# HG changeset patch
# User haftmann
# Date 1118307894 -7200
# Node ID 49c1f9dedc5680802a2a9c196f6086d60b6e5bed
# Parent  cd2cd49e6c8ffa49f97b79be684551a164c5e3b4
added CONTRIBUTORS

diff -r cd2cd49e6c8f -r 49c1f9dedc56 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Thu Jun 09 11:04:02 2005 +0200
+++ b/Admin/CHECKLIST	Thu Jun 09 11:04:54 2005 +0200
@@ -1,12 +1,11 @@
-
 Checklist for official releases
 ===============================
 
 - make sure that etc/isar-keywords.el and etc/isar-keywords-ZF.el are
-up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
-``ProofGeneral.write_keywords "ZF"'';
+  up-to-date; in ML use ``ProofGeneral.write_keywords ""'' and
+  ``ProofGeneral.write_keywords "ZF"'';
 
-- check ANNOUNCE, README, INSTALL, NEWS, Admin/page;
+- check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS, Admin/website;
 
 - run tests with *all* supported ML systems (yes this is tedious!);
 
@@ -24,6 +23,9 @@
     Doc/Logics/logics.tex
 
 - after release: 
-  update Admin/page/DISTNAME and Admin/page/Contents in CVS
+    commit new Admin/website/include/documentationdist.include.html to CVS
+    [ commit new Admin/website/conf/distname.mak to CVS
+    !!! this is currently not part of CVS, so ignore this description;
+    !!! perhaps we will need to add it
 
 $Id$
diff -r cd2cd49e6c8f -r 49c1f9dedc56 Admin/make_everything
--- a/Admin/make_everything	Thu Jun 09 11:04:02 2005 +0200
+++ b/Admin/make_everything	Thu Jun 09 11:04:54 2005 +0200
@@ -3,13 +3,13 @@
 # $Id$
 #
 # make_everything -- an adhoc script that demonstrates the general procedure
-#   of creating the Isabelle distribution and WWW page
+#   of creating the Isabelle distribution and WWW site
 #
 # assumptions:
 #   - proper settings for polyml are present by magic
 #     (e.g. via ~/isabelle/etc/settings)
 #   - ~/tmp/isadist/contrib holds packages of external tools (polyml etc.)
-#
+
 
 date
 
diff -r cd2cd49e6c8f -r 49c1f9dedc56 Admin/makedist
--- a/Admin/makedist	Thu Jun 09 11:04:02 2005 +0200
+++ b/Admin/makedist	Thu Jun 09 11:04:54 2005 +0200
@@ -53,7 +53,7 @@
   Checklist for official releases (before running this script):
 
     * Check Admin/page contents.
-    * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT.
+    * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT, CONTRIBUTORS.
     * Try "isatool makeall all" with Poly/ML, SML/NJ, etc.
     * Tag the current repository version, e.g.:
         cvs -d /usr/proj/isabelle-repository/archive rtag Isabelle2002 isabelle
@@ -267,7 +267,9 @@
 mv "$DISTNAME" "${DISTNAME}-old"
 mkdir "$DISTNAME"
 
-mv "${DISTNAME}-old/README.html" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "$DISTNAME"
+mv "${DISTNAME}-old/README.html" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" \
+   "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "${DISTNAME}-old/CONTRIBUTORS" \
+   "$DISTNAME"
 mkdir "$DISTNAME/doc"
 mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/index.html" "$DISTNAME/doc"
 
diff -r cd2cd49e6c8f -r 49c1f9dedc56 Admin/website/dist/documentation.html
--- a/Admin/website/dist/documentation.html	Thu Jun 09 11:04:02 2005 +0200
+++ b/Admin/website/dist/documentation.html	Thu Jun 09 11:04:54 2005 +0200
@@ -55,6 +55,8 @@
             <li><a href="//dist/packages/Isabelle/README.html">README</a></li>
             <li><a href="//dist/packages/Isabelle/INSTALL">INSTALL</a></li>
             <li><a href="//dist/packages/Isabelle/NEWS">NEWS</a></li>
+            <!-- <li><a href="//dist/packages/Isabelle/COPYRIGHT">COPYRIGHT</a></li> -->
+            <!-- <li><a href="//dist/packages/Isabelle/CONTRIBUTORS">CONTRIBUTORS</a></li> -->
           </ul>
 
         <h2 id="course_material">Course Material and Exercises</h2>