view move-if-change @ 43430:5288b3225c40

(texinfo-insert-menu): Explain in doc string that descriptions are indented, and that menus without descriptions will contain trailing whitespace instead; argue for importance of descriptions. (texinfo-all-menus-update, texinfo-master-menu,texinfo-make-menu) Also, note reason for indentation in doc string.

#!/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