1 2 3 4 5 6
post_upgrade() { echo ">>> texlive: updating the filename database..." usr/bin/mktexlsr echo " done." }