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) |