Simpler docs build

Author: dsyer

.github/workflows/docs.yml

@@ -1,13 +1,8 @@
 name: Deploy Docs
-run-name: ${{ format('{0} ({1})', github.workflow, github.event.inputs.build-refname || 'all') }}
 on:
-  workflow_dispatch:
-    inputs:
-      build-refname:
-        description: Enter git refname to build (e.g., main).
-        required: false
   push:
     branches: [ docs-build ]
+  workflow_dispatch:
 permissions:
   contents: write
 jobs:
@@ -25,14 +20,6 @@ jobs:
         java-version: '25'
         distribution: 'liberica'
         cache: maven
-    - name: Set up refname build
-      if: github.event.inputs.build-refname != 'all'
-      run: |
-        git fetch --depth 1 https://github.com/$GITHUB_REPOSITORY "$BUILD_REFNAME"
-        export BUILD_REFNAME=${{ github.event.inputs.build-refname }}
-        echo "BUILD_REFNAME=$BUILD_REFNAME" >> $GITHUB_ENV
-        export BUILD_VERSION=$(git cat-file --textconv FETCH_HEAD:pom.xml | python3 -c "import xml.etree.ElementTree as xml; from sys import stdin; print(xml.parse(stdin).getroot().find('{http://maven.apache.org/POM/4.0.0}version').text)")
-        echo BUILD_VERSION=$BUILD_VERSION >> $GITHUB_ENV
     - name: Run Antora
       run: |
         ./build-docs.sh