Skip to content

[Doc]: font and sizing update (#277) #440

[Doc]: font and sizing update (#277)

[Doc]: font and sizing update (#277) #440

Workflow file for this run

name: Build Documentation
"on":
push:
branches: [master, main]
jobs:
build:
uses: EagleoutIce/tikzpingus/.github/workflows/status_check.yaml@main
process-pdf:
runs-on: ubuntu-latest
needs: build
steps:
# otherwise we cant commit
- name: Checkout git repository
uses: actions/checkout@v3
- name: ⬇️ Get doc Artifacts
uses: actions/download-artifact@v3
with:
name: doc-output
path: doc/build/
- name: ⬇️ Get examples Artifacts
uses: actions/download-artifact@v3
with:
name: examples-output
path: examples/build/
- name: Install PU for previews
run: sudo apt install poppler-utils
- name: 🖼️ Generate previews
run: |
pdftoppm -png -r 300 -f 1 -l 1 ./examples/build/showcase.pdf preview
pdftoppm -png -r 300 -f 1 -l 1 ./examples/build/minimal.pdf minimal
pdftoppm -png -r 300 -f 1 -l 1 ./examples/build/spl.pdf spl
pdftoppm -png -r 400 ./examples/build/hey-pingu.pdf hey-pingu
- name: Commit
run: |
git config --local user.email "action@github.com"
git config --local user.name "GitHub Action"
git add -f "examples/build/showcase.pdf" "examples/build/minimal.pdf" "examples/build/cloak.pdf" "examples/build/spl.pdf" "examples/build/hey-pingu.pdf" "doc/build/tikzpingus-doc.pdf" "preview-1.png" "minimal-1.png" "spl-1.png" "hey-pingu-*.png"
git commit -m "Newly compiled data"
- name: Push changes
uses: ad-m/github-push-action@master
with:
branch: gh-pages
github_token: ${{ secrets.GITHUB_TOKEN }}
force: true