diff options
Diffstat (limited to 'mysql-php/buildall')
| -rw-r--r-- | mysql-php/buildall | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/mysql-php/buildall b/mysql-php/buildall new file mode 100644 index 0000000..f3035b6 --- /dev/null +++ b/mysql-php/buildall @@ -0,0 +1,5 @@ +#!/bin/sh +cat prelude.typ > all.typ +ls text/a*.typ | awk '{ printf("#include(\"%s\")\n", $1) }' >> all.typ +typst compile --root $PWD all.typ docs/all.pdf +pdftk docs/all.pdf cat 1 4-5 8-end output docs/myphp-all.pdf |