diff options
Diffstat (limited to 'java/buildall')
| -rw-r--r-- | java/buildall | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/java/buildall b/java/buildall index 4468d35..6777b7b 100644 --- a/java/buildall +++ b/java/buildall @@ -1,4 +1,5 @@ #!/bin/sh cat prelude.typ > all.typ -awk '$2 == "#" { printf("#include(\"text/%s.typ\")\n", $1) }' alist.txt >> all.typ +sh havebeendone | awk '{ printf("#include(\"text/%s.typ\")\n", $2) }' >> all.typ typst compile --root $PWD all.typ docs/all.pdf +pdftk docs/all.pdf cat 1 4-7 10-end output docs/java-all.pdf |