Skip to content

Generate and publish docs #127

Generate and publish docs

Generate and publish docs #127

name: Generate and publish docs
on:
push:
branches:
- main
pull_request:
workflow_dispatch:
schedule:
- cron: "0 0 * * 3"
jobs:
docs:
runs-on: ubuntu-latest
steps:
- name: Get repository
uses: actions/checkout@v3
- name: Set up Python environment
uses: actions/setup-python@v4
with:
python-version: "3.11"
- name: Install documentation dependencies
run: |
sudo apt update && sudo apt install -qqy texlive texlive-latex-recommended texlive-latex-extra texlive-fonts-extra latexmk
- name: Install and configure Poetry
uses: snok/install-poetry@v1
- name: Install RDFM server in venv
run: |
poetry -C server/ install
- name: Build RDFM documentation
run: |
poetry -C server/ run .github/scripts/build-docs.sh
- name: "Upload artifact: Sphinx HTML and PDF"
uses: actions/upload-artifact@v3
with:
name: Documentation
path: documentation/build/
- name: Deploy
if: github.ref == 'refs/heads/main'
run: |
sudo chown -R $(whoami) documentation
cp documentation/build/latex/*.pdf documentation/build/html/
cd documentation/build/html
touch .nojekyll
git init
cp ../../../.git/config ./.git/config
git add .
git config --local user.email "push@gha"
git config --local user.name "GHA"
git commit -am "update ${{ github.sha }}"
git push -u origin +HEAD:gh-pages
rm -rf .git