summarylogtreecommitdiffstats
path: root/gambit-c-git.install
blob: 08c156d83fe91fe92a81c059b4564dcff411497e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
_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}
}