copied from build instead of docs

This commit is contained in:
2026-01-13 17:39:31 +01:00
parent a4f75bd17c
commit aff026b9ff

View File

@@ -88,18 +88,19 @@ jobs:
- name: Copy documentation and Release notes to versioned folder
# if: github.event_name == 'release' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true)
run: |
VERSION="${{ steps.version.outputs.version }}"
mkdir -p "gh-pages/${VERSION}"
cp -r build/docs/html/. "gh-pages/${VERSION}/"
cp build/docs/main_index/index.html "gh-pages/index.html"
cp build/docs/main_index/index.html gh-pages/_sources/index.html.txt
cp docs/main_index/index.html "gh-pages/index.html"
cp docs/main_index/index.html "gh-pages/_sources/index.html.txt"
if [ "${{ github.event_name }}" == "release" ]; then
cp RELEASE.md "gh-pages/releases/RELEASE_v${VERSION}.md"
fi
- name: Commit and Push changes to gh-pages
# if: github.event_name == 'release' || (github.event_name == 'pull_request' && github.event.pull_request.merged == true)
run: |
cd gh-pages
git config --global user.name 'github-actions'