12 if [ -d /var/lib/texmf ]; then
14 elif [ -d /var/texfonts ]; then
20 # remove possibly stale .pk/.tfm files
21 echo> /tmp/cleaning-font-dummy
22 FILES=`find . $TEXDIR -name "feta*$WHAT*tfm" -or -name "feta*$WHAT*pk"`
25 rm -f $FILES /tmp/cleaning-font-dummy