changeset 427 | 6e93040e3378 |
child 459 | d59404a41d5f |
426:b51467741af2 | 427:6e93040e3378 |
---|---|
1 #!/bin/bash |
|
2 set -euo pipefail |
|
3 |
|
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"} |
|
5 |
|
6 for f in $fls; do |
|
7 echo -e "making $f" |
|
8 xelatex $f |
|
9 mv "${f%.tex}.pdf" tmp.pdf |
|
10 gs -o "${f%.tex}.pdf" -dNoOutputFonts -sDEVICE=pdfwrite tmp.pdf |
|
11 done |
|
12 |
|
13 |
|
14 # prevent PDF from being copied |
|
15 ### gs -o "${f%.tex}.pdf" -dNoOutputFonts -sDEVICE=pdfwrite tmp.pdf |