Use tlmgr path

utensil · Apr 26, 2024 · b070cd0 · b070cd0
1 parent dfb0db5
commit b070cd0
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -42,9 +42,9 @@ jobs:
         run: |
           echo $GITHUB_PATH
           tlmgr --version
-          echo "pdftex=" `which pdftex`
-          echo "pdflatex=" `which pdflatex`
-          ln -s `which pdflatex` /usr/local/bin/latex
+          echo "pdftex=" `tlmgr path pdftex`
+          echo "pdflatex=" `tlmgr path pdflatex`
+          ln -s `tlmgr path pdflatex` /usr/local/bin/latex
           echo "latex=" `which latex`
       - name: Setup Pages
         id: pages