#!/usr/bin/env bash exec texhash "$(dirname "$0")"