diff options
author | root <root@rshg047.dnsready.net> | 2011-06-24 23:06:35 +0000 |
---|---|---|
committer | root <root@rshg047.dnsready.net> | 2011-06-24 23:06:35 +0000 |
commit | 71f58605e914de11f3a9b7cc2f27b0c52fb8d4ba (patch) | |
tree | 948002f901215fa91b99058ec3bfc4a51475018d /community-testing/haddock/haddock.install | |
parent | 7347bb994a41d021c83e97b503f577f2399302e7 (diff) |
Fri Jun 24 23:06:35 UTC 2011
Diffstat (limited to 'community-testing/haddock/haddock.install')
-rw-r--r-- | community-testing/haddock/haddock.install | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/community-testing/haddock/haddock.install b/community-testing/haddock/haddock.install new file mode 100644 index 000000000..278da355e --- /dev/null +++ b/community-testing/haddock/haddock.install @@ -0,0 +1,18 @@ +HS_DIR=usr/share/haskell/haddock +post_install() { + ${HS_DIR}/register.sh &> /dev/null + (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) &> /dev/null +} +pre_upgrade() { + ${HS_DIR}/unregister.sh &> /dev/null +} +post_upgrade() { + ${HS_DIR}/register.sh &> /dev/null + (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) &> /dev/null +} +pre_remove() { + ${HS_DIR}/unregister.sh &> /dev/null +} +post_remove() { + (cd usr/share/doc/ghc/html/libraries; ./gen_contents_index) &> /dev/null +} |