From a57c15c9c83fb89b8a5a240550772b904a2b2e50 Mon Sep 17 00:00:00 2001 From: David Chisnall Date: Wed, 1 Jan 2025 11:33:02 +0000 Subject: [PATCH] Fix images. --- .github/workflows/build.yml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index 1111274..daafce1 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -39,8 +39,9 @@ jobs: docker pull ghcr.io/cheriot-platform/book-build-container:main - name: Build book run: | - mkdir _site + mkdir -p _site/figures cp text/book.css _site/ + cp text/figures/*.{png,jpg,svg} _site/figures/ docker run --mount type=bind,src=$(pwd),target=/mnt --rm ghcr.io/cheriot-platform/book-build-container:main sh -c 'cd /mnt/text && /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 clang-listing --pass ts-listing --pass number-tables --pass html-lua --pass html-listings --pass html-lists --pass html-em --pass html-xref --pass html-keywords --pass html-admonitions --pass html-multipage --config output_directory=../_site --config output=html' ls -lahR _site - name: Create backwards compatibility copies