diff --git a/.github/workflows/build_documentation.yml b/.github/workflows/build_documentation.yml index 1ce072bf3..acae3d851 100644 --- a/.github/workflows/build_documentation.yml +++ b/.github/workflows/build_documentation.yml @@ -38,16 +38,10 @@ jobs: id: version run: | if [ "${{ github.event_name }}" == "release" ]; then - # Remove 'v' prefix if present (e.g., v10.0.0 -> 10.0.0) VERSION="${{ github.event.release.tag_name }}" - VERSION="${VERSION#v}" echo "version=${VERSION}" >> $GITHUB_OUTPUT - echo "is_release=true" >> $GITHUB_OUTPUT - echo "Release version: ${VERSION}" else echo "version=developer" >> $GITHUB_OUTPUT - echo "is_release=false" >> $GITHUB_OUTPUT - echo "Not a release build" fi - name: Install System Packages @@ -74,7 +68,7 @@ jobs: make -j4 make docs - # Update main_index if this is a release + # Update main index if this is a release - name: Update version index run: | if [ "${{ github.event_name }}" == "release" ]; then @@ -89,12 +83,16 @@ jobs: ref: gh-pages path: gh-pages - - name: Copy documentation to versioned folder + - name: Copy documentation and Release notes to versioned folder 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" + if [ "${{ github.event_name }}" == "release" ]; then + cp RELEASE.md "gh-pages/releases/RELEASE_v${VERSION}.md" + fi + # TODO: need to update txt to md and backtrack? - name: Commit and Push changes to gh-pages run: |