afl-material: mk@569a3adb6e01 (annotated)

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 c0bdd4ad69ca updated Christian Urban <christian.urban@kcl.ac.uk> parents: 630 diff changeset	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 9b1c15c3eb6f updated Christian Urban <urbanc@in.tum.de> parents: 332 diff changeset	9	echo $fl
9b1c15c3eb6f updated Christian Urban <urbanc@in.tum.de> parents: 332 diff changeset	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 9b1c15c3eb6f updated Christian Urban <urbanc@in.tum.de> parents: 332 diff changeset	13	done

author	Christian Urban <christian.urban@kcl.ac.uk>
	Thu, 01 Dec 2022 12:51:49 +0000
changeset 899	569a3adb6e01
parent 752	c0bdd4ad69ca
permissions	-rwxr-xr-x