glosstex/glosstex.install

   1 post_install() {
   2     echo "==> Updating TeX Filename Database"
   3     texhash
   4 }
   5
   6 pre_upgrade() {
   7     true
   8 }
   9
  10 post_upgrade() {
  11     echo "==> Updating TeX Filename Database"
  12     texhash
  13 }
  14
  15 pre_remove() {
  16     true
  17 }
  18
  19 post_remove() {
  20     echo "==> Updating TeX Filename Database"
  21     texhash
  22 }
  23
  24 op="$1"
  25 shift
  26
  27 [ "$(type -t "$op")" = "function" ] && $op "$@"