docs: use correct version file for HTML docs from tarball

Prior to commit 135fc73191 (Remove man/HTML docs from tarball, require
Sphinx instead, 2025-11-20), HTML docs were built from a Git worktree.

Now they are built in the tarball.  We call
build_tools/git_version_gen.sh from doc_src so it fails to find the
version file. Fix that.

Fixes #12228
This commit is contained in:
Johannes Altmanninger
2025-12-29 11:07:04 +01:00
parent 7640e95bd7
commit 354dc3d272

View File

@@ -13,9 +13,9 @@ git_permission_failed=0
# First see if there is a version file (included in release tarballs),
# then try git-describe, then default.
if test -f version
if test -f "$FISH_BASE_DIR"/version
then
VN=$(cat version) || VN="$DEF_VER"
VN=$(cat "$FISH_BASE_DIR"/version) || VN="$DEF_VER"
else
if VN=$(git -C "$FISH_BASE_DIR" describe --always --dirty 2>/dev/null); then
: