chore: remove mdbook-katex from ci

matchy-at-ethz · Mar 5, 2024 · b811d36 · b811d36
1 parent 4141d84
commit b811d36
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -21,9 +21,6 @@ jobs:
     - name: Install mdbook
       run: |
         curl -sSL https://github.com/rust-lang/mdBook/releases/download/v0.4.36/mdbook-v0.4.36-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
-    - name: Install mdbook-katex
-      run: |
-        curl -sSL https://github.com/lzanini/mdbook-katex/releases/download/v0.5.9/mdbook-katex-v0.5.9-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook
     - name: Install mdbook-toc
       run: |
         curl -sSL https://github.com/badboy/mdbook-toc/releases/download/0.14.2/mdbook-toc-0.14.2-x86_64-unknown-linux-gnu.tar.gz | tar -xz --directory=./mdbook