summarylogtreecommitdiffstats
path: root/gambit-c-git.install
blob: 317f90d64feebf29b32f2c9a4a55f4c15cda063b (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}
}

post_upgrade() {
  post_install $@
}

pre_remove() {
  install-info --delete ${_iinfoargs}
}