--- 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$
--- 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
--- 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"
--- 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>