diff options
Diffstat (limited to 'idris-git.install')
| -rw-r--r-- | idris-git.install | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/idris-git.install b/idris-git.install new file mode 100644 index 000000000000..79a0ff1fc959 --- /dev/null +++ b/idris-git.install @@ -0,0 +1,18 @@ +HS_DIR=usr/share/haskell/idris-git +post_install() { + ${HS_DIR}/register.sh + (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) +} +pre_upgrade() { + ${HS_DIR}/unregister.sh +} +post_upgrade() { + ${HS_DIR}/register.sh + (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) +} +pre_remove() { + ${HS_DIR}/unregister.sh +} +post_remove() { + (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) +} |