bin/clean-fonts.sh

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