| author | Christian Urban <christian dot urban at kcl dot ac dot uk> | 
| Thu, 15 Dec 2016 16:11:05 +0000 | |
| changeset 502 | 66d2bc189b88 | 
| parent 385 | b7d055cf16e8 | 
| child 518 | e1fcfba63a31 | 
| permissions | -rwxr-xr-x | 
| 
345
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
1  | 
#!/bin/sh  | 
| 
358
 
8787c16bc26e
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
345 
diff
changeset
 | 
2  | 
set -e  | 
| 
345
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
3  | 
|
| 
385
 
b7d055cf16e8
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
358 
diff
changeset
 | 
4  | 
#subdirs="slides handouts hws"  | 
| 
 
b7d055cf16e8
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
358 
diff
changeset
 | 
5  | 
subdirs="hws"  | 
| 
 
b7d055cf16e8
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
358 
diff
changeset
 | 
6  | 
|
| 
 
b7d055cf16e8
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
358 
diff
changeset
 | 
7  | 
echo $subdirs  | 
| 
345
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
8  | 
|
| 
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
9  | 
for sd in $subdirs; do  | 
| 
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
10  | 
cd $sd  | 
| 
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
11  | 
for fl in *.tex; do  | 
| 
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
12  | 
xelatex $fl  | 
| 
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
13  | 
done  | 
| 
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
14  | 
cd ..  | 
| 
 
7f0ac1355f0b
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
15  | 
done  |