view move-if-change @ 102441:9bfb1c4c4223

(woman-mode): Restore tab-width value after the call to Man-mode, since Man-mode resets it to the default, and that makes right margin extend beyond woman-fill-column.

#!/bin/sh
if
test -r $2
then
if
cmp $1 $2 > /dev/null
then
echo $2 is unchanged
rm -f $1
else
mv -f $1 $2
fi
else
mv -f $1 $2
fi