annotate move-if-change @ 33780:00803fb0f58e

(hi-lock-refontify): Don't call non-existent jit-lock-fontify-buffer; it should anyway be unneccessary to dp anything special when jit-lock is active. (hi-yellow, hi-pink, hi-green, hi-blue): Fix defface specs.

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