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