| author | Christian Urban <christian.urban@kcl.ac.uk> | 
| Wed, 29 May 2024 13:25:30 +0100 | |
| changeset 959 | 787ef75ec006 | 
| parent 752 | 1f1a293549c1 | 
| 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: 
318 
diff
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  |