diff options
| author | Adam Heath <doogie@debian.org> | 2003-10-27 17:06:44 +0000 |
|---|---|---|
| committer | Adam Heath <doogie@debian.org> | 2003-10-27 17:06:44 +0000 |
| commit | edac789aafd26d093d5c70120e983fc852193517 (patch) | |
| tree | 30f56aec62f005a9b4f6c92037ffa38c26a96416 /debian/dpkg.postinst | |
| parent | 35f2fff26e0dd56943d5f8525522e2925721d604 (diff) | |
| download | dpkg-edac789aafd26d093d5c70120e983fc852193517.tar.gz | |
Don't assume /usr/info/dir exists if /usr/info does.
Diffstat (limited to 'debian/dpkg.postinst')
| -rwxr-xr-x | debian/dpkg.postinst | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/dpkg.postinst b/debian/dpkg.postinst index b29de4725..38d7f196e 100755 --- a/debian/dpkg.postinst +++ b/debian/dpkg.postinst @@ -114,7 +114,8 @@ OK. esac fi -if [ -d /usr/info -a ! -L /usr/info -a ! -L /usr/info/dir ]; then +if [ -d /usr/info -a ! -L /usr/info -a ! -L /usr/info/dir \ + -a -f /usr/info/dir ]; then echo Moving /usr/info/dir to /usr/share/info/dir. mv /usr/info/dir /usr/share/info/dir if [ -f /usr/info/dir.old ]; then |