Rev 2 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2 | Rev 41 | ||
|---|---|---|---|
| Line 18... | Line 18... | ||
| 18 | # the debian-policy package |
18 | # the debian-policy package |
| 19 | 19 | ||
| 20 | 20 | ||
| 21 | case "$1" in |
21 | case "$1" in |
| 22 | purge) |
22 | purge) |
| 23 | for d in include/pike include/pike7.6 lib/pike/site_pike lib/pike lib/pike7.6/site_pike lib/pike7.6 share/pike/site_pike \ |
23 | for d in include/pike include/pike7.8 lib/pike/site_pike lib/pike lib/pike7.8/site_pike lib/pike7.8 share/pike/site_pike \ |
| 24 | share/pike share/pike7.6/site_pike share/pike7.6; do |
24 | share/pike share/pike7.8/site_pike share/pike7.8; do |
| 25 | rmdir /usr/local/$d || true |
25 | rmdir /usr/local/$d || true |
| 26 | done |
26 | done |
| 27 | ;; |
27 | ;; |
| 28 | 28 | ||
| 29 | remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear) |
29 | remove|upgrade|failed-upgrade|abort-install|abort-upgrade|disappear) |