Check latex

utensil · Apr 26, 2024 · 9dd93c8 · 9dd93c8
1 parent 1b06779
commit 9dd93c8
Showing 1 changed file with 8 additions and 5 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -38,8 +38,14 @@ jobs:
         uses: teatimeguest/setup-texlive-action@v3
         # with:
         #   packages: scheme-basic
-      - name: Check `tlmgr` version
-        run: tlmgr --version
+      - name: Check `latex`
+        run: |
+          tlmgr --version
+          mkdir -p ~/.local/bin/
+          echo ~/.local/bin/ >> $GITHUB_PATH
+          echo `which pdflatex`
+          ln -s `which pdflatex` ~/.local/bin/latex
+          which latex
       - name: Setup Pages
         id: pages
         uses: actions/configure-pages@v5
@@ -49,9 +55,6 @@ jobs:
           ocaml-compiler: "5.1"
       - name: Install forester
         run: |
-          mkdir -p ~/.local/bin/
-          echo ~/.local/bin/ >> $GITHUB_PATH
-          ln -s `which pdftex` ~/.local/bin/latex
           sudo apt-get install libev-dev dvisvgm
           opam install forester --yes
       - name: Build with forester