Minor adjustment of the release process to match how the changesets is generated

diff --git a/mkrelease.sh b/mkrelease.sh
index 4b4d8892e0dc8be51313913245b960dfc76ad5ea..79b22d4653f7a7ac1cbe82265ccce4fafb8941eb 100755 (executable)
--- a/mkrelease.sh
+++ b/mkrelease.sh
@@ -71,6 +71,7 @@ if [ -f $tmpdir/doc/release-notes/release-$RELEASE.html ]; then
     inst $tmpdir/RELEASENOTES.html $dst/${name}-RELEASENOTES.html
     ln -sf ${name}-RELEASENOTES.html $dst/RELEASENOTES.html
 fi
-if [ -f $dst/changesets/index.html ]; then
-    cp -p $dst/changesets/index.html $dst/changesets/$tag.html
+if [ -f $dst/changesets/.update ]; then
+    rm -f $dst/changesets/$tag.html
+    $dst/changesets/.update
 fi