| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Sat, 04 Dec 2021 00:41:31 +0000 | |
| changeset 859 | f766d3486c9d | 
| parent 752 | c0bdd4ad69ca | 
| permissions | -rwxr-xr-x | 
| 317 
a61b50c5d57f
updated all
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 1 | #!/bin/sh | 
| 322 
698ed1c96cd0
updated
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 
318diff
changeset | 2 | set -e | 
| 317 
a61b50c5d57f
updated all
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 3 | |
| 752 | 4 | subdirs=${1:-"slides handouts hws cws"} 
 | 
| 317 
a61b50c5d57f
updated all
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 5 | |
| 
a61b50c5d57f
updated all
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 6 | for sd in $subdirs; do | 
| 
a61b50c5d57f
updated all
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 7 | cd $sd | 
| 
a61b50c5d57f
updated all
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 8 | for fl in *.tex; do | 
| 630 | 9 | echo $fl | 
| 10 | xelatex $fl | pr -to4 | |
| 317 
a61b50c5d57f
updated all
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 11 | done | 
| 
a61b50c5d57f
updated all
 Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff
changeset | 12 | cd .. | 
| 630 | 13 | done |