diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml index 9c1d49fc..a215d06b 100644 --- a/.github/workflows/documentation.yml +++ b/.github/workflows/documentation.yml @@ -53,6 +53,7 @@ jobs: git fetch origin gh-pages --depth=1 - name: Installing API reference dependencies run: | + sudo apt install latexmk texlive-latex-recommended texlive-latex-extra texlive-fonts-recommended lmodern sudo apt install haskell-stack graphviz nodejs npm ghc cabal-install npm install split mathjax-full mathjax-node-sre cabal update diff --git a/.gitpod/Dockerfile b/.gitpod/Dockerfile index 38d32f8d..5c487083 100644 --- a/.gitpod/Dockerfile +++ b/.gitpod/Dockerfile @@ -19,6 +19,12 @@ RUN sudo install-packages \ libz-dev # Install API reference dependencies +RUN sudo install-packages \ + latexmk \ + texlive-latex-recommended \ + texlive-latex-extra \ + texlive-fonts-recommended \ + lmodern RUN sudo install-packages \ haskell-stack \ graphviz \