remove install-libs.sh and download-fonts.sh

gfngfn · Mar 30, 2024 · b3267cc · b3267cc
1 parent 3b223ef
commit b3267cc
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 98 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -73,17 +73,6 @@ jobs:
       - name: Install SATySFi
         run: |
           opam install -y .
-          if [ "${{ matrix.os }}" == 'macos-latest' ]; then
-            ./install-libs.sh ~/.saphe ginstall
-          else
-            ./install-libs.sh ~/.saphe install
-          fi
-
-# It is no longer necessary to download font files beforehand
-# due to the package system:
-#          if [ -z "$(ls lib-satysfi/dist/fonts)" ]; then
-#            ./download-fonts.sh
-#          fi
 
       - name: Check library packages
         run: |

diff --git a/download-fonts.sh b/download-fonts.sh
diff --git a/install-libs.sh b/install-libs.sh