Also copy the release notes when making a new release

diff --git a/mkrelease.sh b/mkrelease.sh
index d5ba480c8ff1e71d505e1372b761582ee00ddc00..003be2d20165f149ed7b56937cd1d48dcb74189a 100755 (executable)
--- a/mkrelease.sh
+++ b/mkrelease.sh
@@ -51,8 +51,5 @@ make dist-all
 cd $startdir
 cp -p $tmpdir/${name}.tar.gz   $dst
 cp -p $tmpdir/${name}.tar.bz2  $dst
-cp -p $tmpdir/CONTRIBUTORS     $dst/CONTRIBUTORS.txt
-cp -p $tmpdir/COPYING          $dst/COPYING.txt
-cp -p $tmpdir/COPYRIGHT                $dst/COPYRIGHT.txt
-cp -p $tmpdir/CREDITS          $dst/CREDITS.txt
-cp -p $tmpdir/ChangeLog                $dst/ChangeLog.txt
+cd $dst
+tar zxvf ${name}.tar.gz CONTRIBUTORS COPYING COPYRIGHT CREDITS ChangeLog RELEASENOTES.html