summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/fonts/drm/allfonts.sh
blob: 8ce547c031f4b604f2bc2ae3ac7015f82a2a61c9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
#!/bin/bash
# +AMDG

for file in `ls drm*[0-9]*.mf`; do
	echo "Compiling $file...";
	mf -halt-on-error "\mode=localfont; input $file" &> /dev/null;
	if [[ $? == 0 ]]; then
		echo "$file successfully compiled!";
	else
		echo "FAIL:  $file failed to compile!"
		exit 1;
	fi
done
echo "Massive winnage!"