use tinytex with minimal packages instead of texlive

ToposInstitute · Jul 22, 2024 · 20e091a · 20e091a
1 parent baecaf4
commit 20e091a
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 7 deletions.
diff --git a/.github/workflows/dev-docs.yml b/.github/workflows/dev-docs.yml
@@ -12,8 +12,12 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
-      - uses: xu-cheng/texlive-action@v2
-        with:
-          scheme: full
-          run: |
-            bash scripts/dev-docs.sh
+      - uses: r-lib/actions/setup-tinytex@v2
+      - run: |
+          tlmgr update --self
+          tlmgr install dvisvgm
+          tlmgr install standalone
+          tlmgr install pgf
+          tlmgr install tikz-cd
+          tlmgr install amsmath
+      - run: bash scripts/dev-docs.sh
diff --git a/scripts/dev-docs.sh b/scripts/dev-docs.sh
@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 
-FORESTER_TARBALL = forester-4.1.0-x86_64-unknown-linux-musl.tar.gz
-FORESTER_URL = http://bafybeieju6aexd2iwqzgwpc2rfi4fkbogztphpfulr3k2wzyrhfvqxxa3m.ipfs.w3s.link/$FORESTER_TARBALL
+FORESTER_TARBALL=forester-4.1.0-x86_64-unknown-linux-musl.tar.gz
+FORESTER_URL=http://bafybeieju6aexd2iwqzgwpc2rfi4fkbogztphpfulr3k2wzyrhfvqxxa3m.ipfs.w3s.link/$FORESTER_TARBALL
 
 cd dev-docs
 curl -L -O $FORESTER_URL