#!/bin/bash

font="misc"

set -e

if [ "$1" = "remove" -o "$1" = "purge" ]; then

  if [ -x /usr/X11R6/bin/mkfontdir ] ; then

    for i in $font ; do
      dir=/usr/X11R6/lib/X11/fonts/$i
      if [ -d $dir ]; then
	echo Adjusting font index in $dir...
        (cd $dir ; /usr/X11R6/bin/mkfontdir)
      fi
    done

  fi

fi

exit 0
