view move-if-change @ 95925:6e1d885ba36a

Remove option of licensing under GPL. Add Cover-Texts to GFDL permissions notice. (GPL): Remove section. (GFDL): Include doclicense.texi rather than the actual text.

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