#!/bin/sh
set -e

    if [ -x /usr/bin/texhash ] ; then
	texhash
    fi

