diff options
| author | Antti-Juhani Kaijanaho <ajk@debian.org> | 2006-03-25 12:56:40 +0100 |
|---|---|---|
| committer | Antti-Juhani Kaijanaho <ajk@debian.org> | 2006-03-25 12:56:40 +0100 |
| commit | 2f95f3a1b4029d4afd68d3cbeaaff6a825dd3b96 (patch) | |
| tree | 5e3d156b0e9dc8816b83cf0081a54c9ac993571f /debian | |
| parent | 7d88babc6cbd9a10b0ceffecc72a132f7ce09d6b (diff) | |
| download | dctrl-tools-2f95f3a1b4029d4afd68d3cbeaaff6a825dd3b96.tar.gz | |
Fix postinst
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/postinst.grep-dctrl | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/debian/postinst.grep-dctrl b/debian/postinst.grep-dctrl index 6150c53..3e3cd0f 100644 --- a/debian/postinst.grep-dctrl +++ b/debian/postinst.grep-dctrl @@ -4,11 +4,9 @@ set -e docdir=/usr/share/doc/grep-dctrl -echo "$@" - case $1 in configure) - if [ -d $docdir ] ; then + if [ -d $docdir -a ! -L $docdir ] ; then if rmdir $docdir ; then ln -s dctrl-tools $docdir fi |