view move-if-change @ 89898:0167306cb580

(fontset_font): Renamed from fontset_face. Return value changed. (face_suitable_for_char_p): Adjusted for the change of fontset_font. (face_for_char): Likewise. (make_fontset_for_ascii_face): Fix setting of the fontset element for ASCII. (Finternal_char_font): Use fontset_font instead of FACE_FOR_CHAR to get a font name. (Ffontset_info): Adjusted for the change of fontset_font.

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