view move-if-change @ 28688:3c44b2f54f82

(init_buffer_once): Handle extra_line_spacing. (syms_of_buffer): Add `default-line-spacing' and `line-spacing'. (reset_buffer): Don't initialize extra2 and extra3. Intialize extra_line_spacing from default value. (init_buffer_once): Initialize default value of extra_line_spacing.

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