diff --git a/utils/release.sh b/utils/release.sh index 9f6e9d98..968cb758 100755 --- a/utils/release.sh +++ b/utils/release.sh @@ -1,5 +1,8 @@ #!/bin/sh +echo "It is very unlikely that this script is up-to-date. Check it before running it." +exit 1 + #Author: Romain Goffe #Date: 13/10/2011 #Description: Build all the pdf on www.patacrep.com, increase their