build_antora.sh: patch base-url with permalink

Author: jll63

.github/workflows/ci.yml

@@ -123,5 +123,5 @@ jobs:
           path: doc/html
 
       - name: Deploy to GitHub Pages (jll63)
-        if: matrix.os == 'ubuntu-latest' && github.repository_owner == 'jll63' && github.ref_name == 'feature/doc'
+        if: matrix.os == 'ubuntu-latest' && github.repository_owner == 'jll63'
         uses: actions/deploy-pages@v4

doc/build_antora.sh

@@ -11,6 +11,7 @@
 
 set -e
 
+
 if [ $# -eq 0 ]
   then
     echo "No playbook supplied, using default playbook"
@@ -22,6 +23,25 @@ fi
 SCRIPT_DIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
 cd "$SCRIPT_DIR"
 
+if [ -n "${CIRCLE_REPOSITORY_URL:-}" ]; then
+  account="${CIRCLE_REPOSITORY_URL#*:}"
+  account="${account%%/*}"
+  lib=$(basename $(git rev-parse --show-toplevel))
+  repository="${account}/$lib"
+  sha=${CIRCLE_SHA1}
+elif [ -n "${GITHUB_REPOSITORY:-}" ]; then
+  repository="${GITHUB_REPOSITORY}"
+  sha=${GITHUB_SHA}
+fi
+
+base_url="https://github.com/${repository}/blob/${sha}/"
+
+if [ -n "${base_url}" ]; then
+  echo "Setting base-url to $base_url"
+  cp mrdocs.yml mrdocs.yml.bak
+  perl -i -pe 's{^\s*base-url:.*$}{base-url: '"$base_url"'}' mrdocs.yml
+fi
+
 echo "Building documentation with Antora..."
 echo "Installing npm dependencies..."
 npm ci
@@ -37,4 +57,13 @@ for f in $(find html -name '*.html'); do
   perl -i -pe 's{&lcub;&lcub;(.*?)&rcub;&rcub;}{<a href="../../../$1.html">$1</a>}g' "$f"
 done
 
+if [ -n "${BASE_URL:-}" ]; then
+  if [ -f mrdocs.yml.bak ]; then
+    mv -f mrdocs.yml.bak mrdocs.yml
+    echo "Restored original mrdocs.yml"
+  else
+    echo "mrdocs.yml.bak not found; skipping restore"
+  fi
+fi
+
 echo "Done"