From 6bb76e393eef292edccb37fe1983b083d358ebe2 Mon Sep 17 00:00:00 2001 From: Christopher Albert Date: Sat, 23 Aug 2025 21:03:13 +0200 Subject: [PATCH] fix: prevent CI workflow from overwriting FORD-generated HTML files The GitHub Actions workflow was copying markdown files from doc/example/*.md to build/doc/page/example/ AFTER FORD had already generated the HTML files. This overwrote the generated basic_plots.html with basic_plots.md, causing 404 errors for HTML pages. FORD correctly processes doc/example/*.md and generates HTML files. The extra copy step was unnecessary and destructive. Fixes GitHub Pages 404 errors for example HTML documentation. --- .github/workflows/docs.yml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index d4839e7c..718ebb5a 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -81,9 +81,8 @@ jobs: # Run make doc (which runs FORD then copies media) make doc - # Copy example documentation pages to build directory - mkdir -p build/doc/page/example - cp -r doc/example/*.md build/doc/page/example/ 2>/dev/null || true + # FORD already generated HTML files from doc/example/*.md + # No need to copy markdown files - they overwrite the generated HTML - name: Setup Pages uses: actions/configure-pages@v5