From 1df6c0c87e70f28ad11ab6e28caf6ac742fe25b5 Mon Sep 17 00:00:00 2001 From: Leo Galambos Date: Sat, 18 Apr 2026 14:15:41 +0200 Subject: [PATCH] docs: refine Pages publishing and homepage positioning fix Pages publishing workflow to preserve worktree metadata and keep .nojekyll after site synchronization add generated historical builds index and publish builds/index.html explicitly improve homepage messaging to highlight extensibility of compiled dictionaries through additional transformation layers --- .github/workflows/pages.yml | 33 ++++++++++++++++++++++++++++++--- docs/index.md | 11 +++++++---- 2 files changed, 37 insertions(+), 7 deletions(-) diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index 9bd6618..ad63625 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -250,9 +250,6 @@ jobs: cp "${RUN_DIR}/index.html" "${LATEST_DIR}/index.html" - cat > "${SITE_DIR}/.nojekyll" < docs/reports.md < docs/builds.md + - name: Build documentation site (MkDocs Material) shell: bash run: | set -euo pipefail mkdocs build --strict --site-dir .mkdocs-site rsync -a --delete --exclude '.git' --exclude '.git/' --exclude 'builds/' .mkdocs-site/ .gh-pages/ + mkdir -p .gh-pages/builds + cp .mkdocs-site/builds/index.html .gh-pages/builds/index.html + cat > .gh-pages/.nojekyll <