Bug#263757: a few comments about proposed readlink patch

[Francesco Paolo Lovergine <frankie@debian.org>]

Basically the proposed patch needs one more hack:
If $dir is not a symlink, readlink returns nothing, so:

    link=`/bin/readlink -f "$dir"`
    if [ "x$link" != "x" ]; then
    	dir="$link"
    fi

-- 
Francesco P. Lovergine