diff options
Diffstat (limited to 'debian/prerm')
-rw-r--r-- | debian/prerm | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/prerm b/debian/prerm index c2c654c..37960c3 100644 --- a/debian/prerm +++ b/debian/prerm @@ -6,6 +6,12 @@ if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/scm ]; then rm -f /usr/doc/scm fi +# doc base support +if [ "$1" = remove -o "$1" = upgrade ]; then + if test -x /usr/sbin/install-docs >/dev/null 2>&1; then + /usr/sbin/install-docs -r scm + fi +fi install-info --quiet --remove /usr/share/info/scm.info.gz |