hlatex-fonts/hlatex-fonts.install

   1 # arg 1:  the new package version
   2 post_install() {
   3         echo -n "Running texhash and updmap-sys..."
   4         texhash
   5         updmap-sys --enable Map=uhc-base.map
   6         updmap-sys --enable Map=uhc-extra.map
   7         echo "Done."
   8 }
   9
  10 # arg 1:  the new package version
  11 # arg 2:  the old package version
  12 post_upgrade() {
  13 /bin/true
  14 }
  15
  16 # arg 1:  the old package version
  17 post_remove() {
  18         echo -n "Running texhashi and updmap-sys..."
  19         texhash
  20         updmap-sys --syncwithtrees
  21         echo "Done."
  22 }
  23
  24 op=$1
  25 shift
  26 $op $*