Skip to content

Commit

Permalink
Fix images.
Browse files Browse the repository at this point in the history
  • Loading branch information
davidchisnall committed Jan 1, 2025
1 parent b1260b0 commit a57c15c
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit a57c15c

Please sign in to comment.