diff --git a/doc/build-manuals.sh b/doc/build-manuals.sh
index b4b808f959ad1b458ba7649c47ebd77ca0c57f91..2dd120124cb9d5849470bb5148ecacb8f3c77be1 100755
--- a/doc/build-manuals.sh
+++ b/doc/build-manuals.sh
@@ -40,6 +40,7 @@ mkdir -p manuals
 
 
 FC_SUFFIX=$(cat ../VERSION)-$(cat ../VERSION_CODENAME)
+FC_SUFFIX="$(echo ${FC_SUFFIX} | sed -e "s/~/-/")"
 ACSL_SUFFIX=$(grep acslversion acsl/version.tex | sed 's/.*{\([^{}\\]*\).*/\1/')
 EACSL_SUFFIX=$(grep 'newcommand{\\eacsllangversion' ../src/plugins/e-acsl/doc/refman/main.tex | sed 's/.*{\([^{}\\]*\).*/\1/')
 # sanity check