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