# HG changeset patch
# User kleing
# Date 1117337008 -7200
# Node ID b16e3df5ad29106ffb6fd09041535d29623f68f9
# Parent  c2ea4b171f99f44755f504be352f2bc577cbd1ea
make COPYRIGHT file available for web page

diff -r c2ea4b171f99 -r b16e3df5ad29 Admin/makedist
--- a/Admin/makedist	Sat May 28 05:05:24 2005 +0200
+++ b/Admin/makedist	Sun May 29 05:23:28 2005 +0200
@@ -53,7 +53,7 @@
   Checklist for official releases (before running this script):
 
     * Check Admin/page contents.
-    * Check ANNOUNCE, README, INSTALL, NEWS.
+    * Check ANNOUNCE, README, INSTALL, NEWS, COPYRIGHT.
     * 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
@@ -255,7 +255,7 @@
 mv "$DISTNAME" "${DISTNAME}-old"
 mkdir "$DISTNAME"
 
-mv "${DISTNAME}-old/README.html" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" "$DISTNAME"
+mv "${DISTNAME}-old/README.html" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" "${DISTNAME}-old/COPYRIGHT" "$DISTNAME"
 mkdir "$DISTNAME/doc"
 mv "${DISTNAME}-old/doc/"*.pdf "${DISTNAME}-old/doc/index.html" "$DISTNAME/doc"