2009-08-26 17:00:38 +02:00
|
|
|
# If no dir file exists, we'll assume it's a fresh installation and create one
|
2019-09-24 23:18:36 +02:00
|
|
|
# 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
|
2009-08-26 17:00:38 +02:00
|
|
|
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
|
2019-09-24 23:18:36 +02:00
|
|
|
# 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
|
