13 if [ -d /var/lib/texmf ]; then
14 TEXDIRS="$TEXDIRS /var/lib/texmf"
16 if [ -d /var/spool/texmf ]; then
17 TEXDIRS="$TEXDIRS /var/tmp/texmf"
19 if [ -d /var/tmp/texfonts ]; then
20 TEXDIRS="$TEXDIRS /var/spool/texfonts"
22 if [ -d /var/texfonts ]; then
23 TEXDIRS="$TEXDIRS /var/texfonts"
25 if [ -z "$TEXDIR" ]; then
31 # remove possibly stale .pk/.tfm files
32 FILES=`find $TEXDIRS -name "feta*$WHAT*tfm" -or -name "feta*$WHAT*pk"`
35 rm -f $FILES /tmp/cleaning-font-dummy