diff --git a/publish-timere.sh b/publish-timere.sh index e880bda8..d766fedd 100755 --- a/publish-timere.sh +++ b/publish-timere.sh @@ -12,7 +12,7 @@ if [ ! -d "$opam_repo" ]; then fi ver=$(cat CHANGELOG.md \ - | grep '## Timere' \ + | grep '## Timere ' \ | head -n 1 \ | sed -n 's/^## Timere\s*\(\S*\)$/\1/p')