Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
include ANNOUNCE;
authorwenzelm
Mon, 18 Sep 2000 14:49:51 +0200
changeset 10017 e146bbfc38c1
parent 10016 3833b58a5d88
child 10018 7600cd36ec61
include ANNOUNCE;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Mon Sep 18 14:35:54 2000 +0200
+++ b/Admin/makedist	Mon Sep 18 14:49:51 2000 +0200
@@ -221,7 +221,7 @@
 mv "$DISTNAME" "${DISTNAME}-old"
 mkdir "$DISTNAME"
 
-mv "${DISTNAME}-old/README.html" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" "$DISTNAME"
+mv "${DISTNAME}-old/README.html" "${DISTNAME}-old/INSTALL" "${DISTNAME}-old/NEWS" "${DISTNAME}-old/ANNOUNCE" "$DISTNAME"
 mkdir "$DISTNAME/doc"
 mv "${DISTNAME}-old/doc/"*.pdf "$DISTNAME/doc"
isabelle