From 8b7a7f14154996a4b2951aaedca0c8de50896abf Mon Sep 17 00:00:00 2001 From: Andy Dixon Date: Sat, 26 Sep 2026 18:21:11 +0100 Subject: [PATCH] Take the guide's cover version from release tags only Co-Authored-By: Claude Opus 5.5 --- docs/guide/build-pdf.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/guide/build-pdf.sh b/docs/guide/build-pdf.sh index 1908a51..4236332 100755 --- a/docs/guide/build-pdf.sh +++ b/docs/guide/build-pdf.sh @@ -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