Don't install tex; we don't need it now.

.github/workflows/ci.yml

@@ -17,10 +17,6 @@ jobs :
           sudo apt-get update
           # Cmucl needs 32-bit libs to run
           sudo apt-get install gcc-multilib
-          # texlive for latex so we can build the pdf manual.
-          # texlive-plain-generic to get epsf.sty that's needed by the
-          # manual.
-          sudo apt-get install texlive texlive-plain-generic
       - name: Get cmucl binaries
         run: |
           wget -nv https://common-lisp.net/project/cmucl/downloads/snapshots/2024/04/cmucl-2024-04-x86-linux.tar.bz2