diff options
Diffstat (limited to 'debian/prerm')
-rw-r--r-- | debian/prerm | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/prerm b/debian/prerm index 85fdaab..968aa17 100644 --- a/debian/prerm +++ b/debian/prerm @@ -6,3 +6,11 @@ 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 command -v install-docs >/dev/null 2>&1; then + install-docs -r scm + fi +fi + +install-info --quiet --remove /usr/share/info/scm.info.gz |