[CORRECTIVE] Fix more dark mode colors #57
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Generate and deploy docs | |
| on: | |
| push: | |
| branches: | |
| - main | |
| env: | |
| DOXYGEN_VERSION: '1.13.2' | |
| DOXYFILE_PATH: ./kactus2dev/Administrative/docs/Doxyfile | |
| jobs: | |
| generate-docs: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Set up Doxygen | |
| run: | | |
| echo $(pwd) | |
| sudo apt install -y wget | |
| wget -nv https://www.doxygen.nl/files/doxygen-$DOXYGEN_VERSION.linux.bin.tar.gz | |
| tar -xzf doxygen-$DOXYGEN_VERSION.linux.bin.tar.gz | |
| echo "$(pwd)/doxygen-$DOXYGEN_VERSION/bin" >> $GITHUB_PATH | |
| - name: Checkout kactus2 repository | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: kactus2/kactus2dev | |
| token: ${{ secrets.GITHUB_TOKEN }} | |
| path: kactus2dev | |
| - name: Generate Doxygen documentation | |
| run: doxygen $DOXYFILE_PATH | |
| - name: Checkout target repo | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: kactus2/kactus2.github.io | |
| token: ${{ secrets.PAGES_REPO_PAT }} | |
| path: kactus2.github.io | |
| - name: Copy documentation to target repository | |
| run: | | |
| cd kactus2.github.io | |
| git rm -rf . | |
| git clean -fxd | |
| touch .nojekyll | |
| cd .. | |
| mkdir kactus2.github.io/reference-guide | |
| cp -r docs/html/* kactus2.github.io/reference-guide | |
| cp kactus2dev/Administrative/docs/index.html kactus2.github.io | |
| - name: Commit and push changes | |
| run: | | |
| cd kactus2.github.io | |
| echo "Checking for changes..." | |
| git config --global user.name 'github-actions[bot]' | |
| git config --global user.email 'github-actions[bot]@users.noreply.github.com' | |
| git add . | |
| if git diff --cached --quiet; then | |
| echo "No changes detected, aborting push" | |
| else | |
| echo "Changes detected, proceeding with commit and push." | |
| git commit -m 'Update Doxygen documentation' | |
| git push | |
| fi | |
| shell: bash | |
| # - name: Publish pages | |
| # uses: actions/github-pages |