diff --git a/misc/do-release.txt b/misc/do-release.txt index 1d18f7d9a..b7adb4d8c 100644 --- a/misc/do-release.txt +++ b/misc/do-release.txt @@ -56,7 +56,9 @@ mv include/stxxl/bits/config.h.in include/stxxl/bits/config.h doxygen # optimize pngs - optipng -o7 doxygen-html/*.png + optipng -o7 doxygen-html/*.png doxygen-html/*/*.png + # remove hashstamp files + rm doxygen-html/*.md5 # tag HTML with version and link sed -i "s@