haskell-idris/haskell-idris.install

   1 HS_DIR=usr/share/haskell/haskell-idris
   2 post_install() {
   3   ${HS_DIR}/register.sh
   4   (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
   5 }
   6 pre_upgrade() {
   7   ${HS_DIR}/unregister.sh
   8 }
   9 post_upgrade() {
  10   ${HS_DIR}/register.sh
  11   (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
  12 }
  13 pre_remove() {
  14   ${HS_DIR}/unregister.sh
  15 }
  16 post_remove() {
  17   (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index)
  18 }