#!/bin/sh
cat prelude.typ > 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