Update the GPLv3 HELLO to use the ISO-IR-196 escape sequences. etc/ChangeLog addition: 2011-06-28 Aidan Kehoe <kehoea@parhasard.net> * HELLO: No longer encode various Unicode characters in GNU's specific ad-hoc character sets, use ISO-IR-196 sequences instead. tests/ChangeLog addition: 2011-06-28 Aidan Kehoe <kehoea@parhasard.net> * automated/mule-tests.el: Update the charsets-in-region test to reflect the GPLv3 HELLO file.

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