Rev 198 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 198 | Rev 223 | ||
---|---|---|---|
Line 3... | Line 3... | ||
3 | # |
3 | # |
4 | # see: dh_installdeb(1) |
4 | # see: dh_installdeb(1) |
5 | 5 | ||
6 | set -e |
6 | set -e |
7 | 7 | ||
8 | PIKE=7.8 |
8 | PIKE=8.0 |
9 | PIKEBIN=pike${PIKE} |
9 | PIKEBIN=pike${PIKE} |
10 | 10 | ||
11 | # summary of how this script can be called: |
11 | # summary of how this script can be called: |
12 | # * <postrm> `remove' |
12 | # * <postrm> `remove' |
13 | # * <postrm> `purge' |
13 | # * <postrm> `purge' |