Fixed publish-timere.sh

daypack-dev · Nov 28, 2023 · 3de5546 · 3de5546
1 parent c7587ed
commit 3de5546
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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')