Take the guide's cover version from release tags only

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-09-26 18:21:11 +01:00
parent eea16c9076
commit 8b7a7f1415
1 changed files with 1 additions and 1 deletions
@@ -35,7 +35,7 @@ find_tectonic() {
 tectonic=$(find_tectonic)

 # The cover shows the git version and today's date.
-version=$(git describe --tags --always --dirty 2>/dev/null || echo dev)
+version=$(git describe --tags --match '[0-9]*' --always --dirty 2>/dev/null || echo dev)
 printf '\\newcommand\\vaultversion{%s}\n\\newcommand\\vaultdate{%s}\n' \
 	"$version" "$(date '+%B %Y')" >version.tex