summarylogtreecommitdiffstats
path: root/gambit-c-git.install
blob: 7d2a541c21ce25496849d4abc3b61342717d8061 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
_infodir=/usr/share/info
_iinfoargs="$_infodir/gambit.info.gz $_infodir/dir"

post_install() {
  install-info ${_iinfoargs} 2>/dev/null
}

post_upgrade() {
  post_install $@
}

pre_remove() {
  install-info --delete ${_iinfoargs} 2>/dev/null
}