# HG changeset patch # User wenzelm # Date 969281391 -7200 # Node ID e146bbfc38c1bb648e0f80116a2df988a27ec8da # Parent 3833b58a5d8847bb0e68a2863470b824c654c2b8 include ANNOUNCE; diff -r 3833b58a5d88 -r e146bbfc38c1 Admin/makedist --- 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"