bin/clean-fonts.sh

   1 #!/bin/sh
   2
   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*'`
   7 echo removing $FILES
   8 rm  $FILES /tmp/cleaning-font