Fix broken Source specification PDF on documentation website (#1573)

* Install missing required dependencies that were initially recommended * Terminate build if any of the commands fail
source-academy · Mar 5, 2024 · fa17dc7 · fa17dc7
1 parent 115accd
commit fa17dc7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
@@ -13,7 +13,7 @@ jobs:
         run: |
           sudo apt-get update && \
           sudo apt-get install -y --no-install-recommends \
-          texlive texlive-fonts-extra texlive-lang-cjk latexmk \
+          texlive texlive-fonts-extra texlive-lang-cjk latexmk latex-cjk-all \
           libxi-dev libgl1-mesa-dev
       - name: Use Node.js
         uses: actions/setup-node@v4

diff --git a/scripts/jsdoc.sh b/scripts/jsdoc.sh
@@ -1,5 +1,7 @@
 #! /usr/bin/env bash
 
+set -e
+
 JSDOC="node_modules/.bin/jsdoc"
 TMPL="docs/jsdoc/templates/template"
 DST="docs/source"