diff options
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/build.sh b/build.sh new file mode 100755 index 0000000..a2fec98 --- /dev/null +++ b/build.sh @@ -0,0 +1,10 @@ +#!/bin/sh + +if command -v nix-shell; then + nix-shell -p typst --run "TYPST_FONT_PATHS=fonts typst compile suplement.typ" +else + TYPST_FONT_PATHS=fonts typst compile suplement.typ +fi + +cp suplement.pdf html/suplement.pdf +find krazki -iname '*.png' -o -iname '*.svg' | zip -@ html/krazki.zip \ No newline at end of file |