update HOWTO-RELEASE

diff --git a/HOWTO-RELEASE b/HOWTO-RELEASE
index 2f3f58ea1d1782095287e03ca9738d79d2f545fd..2e4450c3700dd1c9dbf6dcdc04c6f9d9e3f34064 100644 (file)
--- a/HOWTO-RELEASE
+++ b/HOWTO-RELEASE
@@ -20,7 +20,7 @@ Check-list OpenJPEG Release
 * PATH=$PWD/../../tools/abi-tracker/bin:$PWD/../../tools/wdiff/bin:$PWD/../../tools:$PATH abi-tracker  -build ./openjpeg.json 
 * rm -rf src/openjpeg/current
 * rm -rf build_logs
-* Remove symbolic links: rm -f installed/openjpeg/2.5.1/lib/libopenjp2.so installed/openjpeg/2.5.1/lib/libopenjp2.so.7 installed/openjpeg/current/lib/libopenjp2.so
+* Remove symbolic links: rm -f installed/openjpeg/2.5.1/lib/libopenjp2.so installed/openjpeg/2.5.1/lib/libopenjp2.so.7 installed/openjpeg/current/lib/libopenjp2.so abi-check/installed/openjpeg/current/lib/libopenjp2.so.7
 * git add --all .
 * git commit -m "Update ABI/API compatibility reports after 2.5.1 release"
 * git push