#!/bin/sh

set -e

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

##DEBHELPER##
