-
Notifications
You must be signed in to change notification settings - Fork 1
51 lines (43 loc) · 1.7 KB
/
docs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
name: update README files
on:
push:
branches:
- main
workflow_dispatch:
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Install Required Packages
run: |
sudo apt update && \
sudo apt upgrade -y && \
sudo apt install -y \
make \
jq \
unzip \
texlive \
texlive-latex-base \
texlive-fonts-recommended \
texlive-fonts-extra \
texlive-latex-extra
- name: Install Pandoc
run: |
LATEST_RELEASE_URL=$(curl -s https://api.github.com/repos/jgm/pandoc/releases/latest | jq -r '.assets[] | select(.name | endswith("-linux-amd64.tar.gz")) | .browser_download_url' | head -n 1) && \
curl -L -o pandoc.tar.gz $LATEST_RELEASE_URL && \
sudo tar -xvzf pandoc.tar.gz --strip-components 1 -C /usr/local && \
rm pandoc.tar.gz && \
pandoc --version
- name: Install Pandoc Filters
run: make docs-install
- name: Generate README
run: make docs
- name: Commit and Push Changes
run: |
git config --local user.email "${{ github.actor }}@users.noreply.github.com"
git config --local user.name "${{ github.actor }}"
git add README.md README.pdf
git diff --cached --quiet || git commit -m "Update README files"
git push origin main