#!/bin/sh

set -e

if [ "$1" = "configure" ]; then
       if [ -x texhash ]; then
               texhash >/dev/null
       fi
fi

##DEBHELPER##
