equal
deleted
inserted
replaced
1 #!/bin/bash |
1 #!/bin/bash |
2 set -euo pipefail |
2 set -euo pipefail |
3 |
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"} |
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"} |
5 |
5 |
6 for f in $fls; do |
6 for f in $fls; do |
7 echo -e "making $f" |
7 echo -e "making $f" |
8 xelatex $f |
8 xelatex $f |
9 mv "${f%.tex}.pdf" tmp.pdf |
9 mv "${f%.tex}.pdf" tmp.pdf |