Website and Doxygen #65
This file contains 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: Website and Doxygen | |
| on: | |
| push: | |
| schedule: | |
| - cron: '0 0 * * 0' | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout Dillo Website repo | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: 'dillo-browser/dillo-browser.github.io' | |
| path: web | |
| - name: Checkout Dillo repo | |
| uses: actions/checkout@v4 | |
| with: | |
| repository: 'dillo-browser/dillo' | |
| path: dillo | |
| fetch-depth: 0 # Required for "git describe" to work properly | |
| - name: Set the Dillo git commit in Doxygen config | |
| working-directory: dillo/ | |
| run: | | |
| sed -i "s/^PROJECT_NUMBER *=/PROJECT_NUMBER=$(git describe)/" Doxyfile | |
| grep PROJECT_NUMBER Doxyfile | |
| - name: Build Doxygen docs | |
| uses: mattnotmitt/[email protected] | |
| with: | |
| working-directory: 'dillo/' | |
| # Doesn't work as we are not enabling the PDF output, but generating | |
| # images of LaTeX formular in the HTML output. | |
| # enable-latex: true | |
| # So we simply add LaTeX the packages manually: | |
| additional-packages: 'perl build-base texlive-full biblatex ghostscript' | |
| - name: Copy Doxygen docs to website directory | |
| run: | | |
| # For some reason they are generated by root user | |
| cd dillo | |
| sed -i "s/__VERSION__/$(git describe)/g" doc/user_help.in.html | |
| cd .. | |
| cp -a dillo/html web/doxygen | |
| cp dillo/doc/user_help.in.html web/user_help.html | |
| - name: Upload Artifact | |
| uses: actions/upload-pages-artifact@v3 | |
| with: | |
| path: web/ | |
| deploy: | |
| if: github.ref == 'refs/heads/master' | |
| needs: build | |
| # Grant GITHUB_TOKEN the permissions required to make a Pages deployment | |
| permissions: | |
| pages: write # to deploy to Pages | |
| id-token: write # to verify the deployment originates from an appropriate source | |
| # Deploy to the github-pages environment | |
| environment: | |
| name: github-pages | |
| url: ${{ steps.deployment.outputs.page_url }} | |
| # Specify runner + deployment step | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Deploy to GitHub Pages | |
| id: deployment | |
| uses: actions/deploy-pages@v4 |