blob: 729cdcc09c67c9cc2725cdeba0111fc3f7b2e509 (
plain) (
tree)
|
|
# If no dir file exists, we'll assume it's a fresh installation and create one
# Otherwise, we'll throw out the new copy to preserve what's already installed.
# To update your own /usr/info/dir, see: man update-info-dir
if [ -e usr/info/dir ]; then
# If there is no topmost node, this dir file is broken, so replace it:
if ! grep -q "Node: Top" usr/info/dir ; then
mv usr/info/dir.new usr/info/dir
fi
else
mv usr/info/dir.new usr/info/dir
fi
# If these are the same, then remove usr/info/dir.new:
if [ -r usr/info/dir -a -r usr/info/dir.new ]; then
if diff usr/info/dir usr/info/dir.new 1> /dev/null 2> /dev/null ; then
rm usr/info/dir.new
fi
fi
|