name: Generate documentation on: push: branches: - main paths: - "docs/fish-config.md" jobs: build-docs: runs-on: racknerd-mini steps: - name: Checkout uses: actions/checkout@v4 with: token: ${{ secrets.GITEA_TOKEN }} - name: Install pandoc run: sudo apt-get update -qq && sudo apt-get install -y pandoc - name: Compile man page run: | pandoc --standalone \ --from markdown \ --to man \ docs/fish-config.md \ -o docs/fish-config.1 - name: Generate chunked HTML docs run: | rm -rf docs/html/ pandoc -f gfm -t chunkedhtml --split-level=1 --toc \ --include-in-header docs/html-style.html \ docs/fish-config.md \ -o docs/html/ - name: Generate wiki markdown run: python3 docs/split-wiki.py - name: Commit generated docs run: | git config user.name "Gitea Actions" git config user.email "actions@gitea" git add docs/fish-config.1 docs/html/ docs/wiki/ git diff --cached --quiet && echo "No changes to commit" && exit 0 git commit -m "chore(docs): regenerate man page, HTML docs, and wiki" git push