view move-if-change @ 38947:0d25e59f6139

(IT-character-translations) <hebrew-iso8859-8>: Replace some of the undefined characters with emulations of bidi formatting characters and Niqud as per SI 1311-1. (IT-unicode-translations): Ditto. (IT-display-table-setup, IT-setup-unicode-display): Fill characters without translations with dos-unsupported-char-glyph.

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