3 # remove possibly stale .pk/.tfm files
4 echo> /tmp/cleaning-font
5 FILES=`find /var/lib/texmf/ -name 'font-en-tja*' -o -name 'feta*'`
6 # FILES=`find /var/lib/texmf/ -name 'font-en-tja*' -o name 'feta-*" -o -name 'vette-beam*' -o -name 'dyn10*'`
8 rm $FILES /tmp/cleaning-font