bin/clean-fonts.sh

   1 #!/bin/sh
   2
   3 case  $# in
   4 0)
   5     WHAT="" ;;
   6 1)
   7     WHAT=$1;;
   8 esac
   9
  10 # should use kpsepath
  11
  12 if [ -d /var/lib/texmf ]; then
  13     TEXDIR=/var/lib/texmf
  14 elif [ -d /var/texfonts ]; then
  15     TEXDIR=/var/texfonts
  16 else
  17     TEXDIR=/var/
  18 fi
  19
  20 #if [ -f $LILYPOND_SOURCEDIR/config.status ]; then
  21 #TEXDIR=`awk -F % '/TEXPREFIX/ {print $3}' $LILYPOND_SOURCEDIR/config.status`
  22
  23
  24 # remove possibly stale .pk/.tfm files
  25 echo> /tmp/cleaning-font-dummy
  26 FILES=`find $TEXDIR -name "feta*$WHAT*tfm" -or -name "feta*$WHAT*pk"`
  27
  28 echo removing $FILES
  29 rm  $FILES /tmp/cleaning-font-dummy