post_install() {
	echo "updating the filename database..."
        mktexlsr > /dev/null 2>&1
	echo " done."
}

post_upgrade() {
	post_install
}

post_remove() {
	post_install
}

op=$1
shift

$op $*