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