diff options
Diffstat (limited to 'bin/release')
| -rwxr-xr-x | bin/release | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/bin/release b/bin/release index 82efb32..8eb651e 100755 --- a/bin/release +++ b/bin/release @@ -99,6 +99,8 @@ test -h ../hdf5-$VERS && rm ../hdf5-$VERS ln -s `pwd` ../hdf5-$VERS || exit 1 mv Makefile ../Makefile.x 2>/dev/null #might fail cp -p Makefile.dist Makefile +# synchronize the HISTORY and RELEASE files in the doc area +cp HISTORY.txt RELEASE.txt doc/html/ADGuide/. echo "This is hdf5-$VERS released on `date`" >README.x tail +2l README >>README.x mv README.x README |