diff options
Diffstat (limited to 'debian/zsh-dev.postinst')
| -rw-r--r-- | debian/zsh-dev.postinst | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/debian/zsh-dev.postinst b/debian/zsh-dev.postinst new file mode 100644 index 000000000..60ce48d55 --- /dev/null +++ b/debian/zsh-dev.postinst @@ -0,0 +1,28 @@ +#!/bin/sh + +set -e + +case "$1" in + (configure) + : + ;; + (abort-upgrade|abort-remove|abort-deconfigure) + exit 0 + ;; + (*) + echo "postinst called with unknown argument \`$1'" >&2 + exit 0 + ;; +esac + +# Replace documentation directory with symlink +docdir="/usr/share/doc/zsh-dev" +if [ -d $docdir -a ! -L $docdir ]; then + if rmdir $docdir 2>/dev/null; then + ln -sf zsh-common $docdir + fi +fi + +#DEBHELPER# + +exit 0 |