bin/clean-fonts

   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*'` # -or -name 'vette-beam*'`
   6 echo removing $FILES
   7 rm  $FILES /tmp/cleaning-font