post_install() {
echo ">>> texlive: updating the filename database..."
/usr/bin/mktexlsr
}
post_upgrade() {
post_install
post_remove() {