19 lines
318 B
Bash
Executable File
19 lines
318 B
Bash
Executable File
#!/usr/bin/env bash
|
|
set -euo pipefail
|
|
|
|
cd "$(dirname "$0")"
|
|
|
|
OUT=pdfs
|
|
mkdir -p "$OUT"
|
|
|
|
echo "==> main.typ"
|
|
typst compile --root . main.typ "$OUT/main.pdf"
|
|
|
|
for f in problems/problem*.typ; do
|
|
name="$(basename "$f" .typ)"
|
|
echo "==> $f"
|
|
typst compile --root . "$f" "$OUT/$name.pdf"
|
|
done
|
|
|
|
echo "Готово: $OUT/"
|