Add make pgxntool-version to print the embedded pgxntool version

.github/workflows/ci.yml

@@ -58,12 +58,12 @@ jobs:
             // extension matches (they're workflow definitions with real
             // behavioral weight, some running with pull_request_target
             // privileges). Everything else — including .claude/*.md prompt
-            // and command docs, which carry no execution weight themselves
-            // — counts.
+            // and command docs, and README.html (a generated rendering of
+            // README.asc, no execution weight of its own) — counts.
             //
             // This does NOT skip claude-review: that's a separate workflow
             // gated by its own `if:`, unaffected by this check's outputs.
-            const DOC_EXTENSIONS = /\.(md|asc|adoc|asciidoc)$/i;
+            const DOC_EXTENSIONS = /\.(md|asc|adoc|asciidoc|html)$/i;
             const changedFiles = await github.paginate(github.rest.pulls.listFiles, {
               owner: context.repo.owner,
               repo: context.repo.repo,

HISTORY.asc

@@ -1,5 +1,13 @@
 STABLE
 ------
+== Add `make pgxntool-version` to print the embedded pgxntool version
+There was no way to tell which pgxntool version a project had embedded via
+`git subtree` short of digging through git history. `make pgxntool-version`
+(and `pgxntool/bin/version` directly) now prints it, read from the
+first line of `pgxntool/HISTORY.asc` -- the same line the release process
+stamps with the version number. The line is rejected unless it's `STABLE`
+or a plain `X.Y.Z` version (digits only, no pre-release suffixes).
+
 == Fix `make pgtle PGTLE_VERSION=X` generating all versions instead of one
 `base.mk`'s `pgtle` target never passed the `PGTLE_VERSION` make variable
 through to `pgtle.sh --pgtle-version`, so it silently generated all pg_tle

README.asc

@@ -265,6 +265,11 @@ TIP: The actual work is done by `pgxntool/pgxntool-sync.sh`, so you can run it d
 
 TIP: There is also a `pgxntool-sync-%` rule if you need to do more advanced things. `make pgxntool-sync-<name>` pulls from the `<repo> <ref>` defined by the `pgxntool-sync-<name>` make variable.
 
+=== pgxntool-version
+`make pgxntool-version` prints the version of the embedded pgxntool copy, read from the first line of `pgxntool/HISTORY.asc`. That line is "STABLE" instead of a version number if this copy was synced from an unreleased commit rather than a tagged release.
+
+TIP: The actual work is done by `pgxntool/bin/version`, so you can run it directly (`pgxntool/bin/version`) if you'd rather not go through `make`.
+
 === distclean
 `make distclean` removes generated configuration files (`META.json` — generated from `META.in.json` — plus `meta.mk` and `control.mk`) that survive a normal `make clean`.