Try to get the build right again.

.github/workflows/build.yml

@@ -40,7 +40,7 @@ jobs:
            docker pull ghcr.io/cheriot-platform/book-build-container:main
       - name: Build book
         run: |
-          docker run --mount type=bind,src=$(pwd),target=/mnt --rm ghcr.io/cheriot-platform/book-build-container:main sh -c 'cd /mnt && sh devcontainer/install_dependencies.sh && cd text && make -j4 IGK_PATH=/igk/bin IGK_LIB_PATH=/igk/share/ IGK_LUA_PATH=/igk/share/igk-lua'
+          docker run --mount type=bind,src=$(pwd),target=/mnt --rm ghcr.io/cheriot-platform/book-build-container:main sh -c 'cd /mnt && sh devcontainer/install_dependencies.sh && cd text && make -j2 IGK_PATH=/igk/bin IGK_LIB_PATH=/igk/share/ IGK_LUA_PATH=/igk/share/igk-lua html cheriot-programmers-guide.pdf'
           mv text/_site .
           cp text/cheriot-programmers-guide.pdf _site/
           ls -lahR _site

devcontainer/install_dependencies.sh

@@ -1,12 +1,5 @@
 echo | apt-get install -y software-properties-common
 add-apt-repository -y ppa:sile-typesetter/sile
 apt update
-echo | apt install -y git git-lfs sile luarocks
+echo | apt install -y git git-lfs sile luarocks make
 
-git clone --recursive https://github.com/cheriot-platform/book
-cd book/text/
-luarocks --lua-version 5.1 --tree lua_modules install resilient.sile
- /igk/bin/igk --plugin /igk/lib/libigk-clang.so --plugin /igk/lib/libigk-treesitter.so --lua-directory /igk/share/igk-lua --lua-directory ../lua --file book.tex --pass include --pass if --pass fixme --pass metadata --pass clean-empty --pass begin-end --pass comment --pass blank-is-paragraph --pass autolabel --pass sile-admonitions --pass clang-listing --pass ts-listing --pass ts-inlines --pass sile-lua --pass sile-listings --pass sile-paragraph --pass sile-keywords --pass sile-description-lists --pass sile-tables --pass sile-figure --pass sile-note --pass sile-xref --pass sile-href --pass sile-boilerplate --pass clean-empty --pass pdf-ebook-cover --pass XMLOutputPass --config sile_packages="cheriot.listings;font-fallback;cheriot.indexer;cheriot.toyfloats;masters;background" --config output=sile > cheriot-programmers-guide.xml
-sile cheriot-programmers-guide.xml
-sile cheriot-programmers-guide.xml
-sile cheriot-programmers-guide.xml