424
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
1 |
#!/bin/bash
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
2 |
set -euo pipefail
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
3 |
|
|
456
|
4 |
fls=${1:-"core_cw01.tex core_cw02.tex core_cw03.tex main_cw01.tex main_cw02.tex main_cw03.tex main_cw04.tex main_cw05.tex resit.tex"}
|
424
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
5 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
6 |
for f in $fls; do
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
7 |
echo -e "making $f"
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
8 |
xelatex $f
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
9 |
mv "${f%.tex}.pdf" tmp.pdf
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
10 |
gs -o "${f%.tex}.pdf" -dNoOutputFonts -sDEVICE=pdfwrite tmp.pdf
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
11 |
done
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
12 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
13 |
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
14 |
# prevent PDF from being copied
|
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff
changeset
|
15 |
### gs -o "${f%.tex}.pdf" -dNoOutputFonts -sDEVICE=pdfwrite tmp.pdf
|