view move-if-change @ 87349:b99ca3c50a16

(nxml-heading, nxml-outline-indicator) (nxml-outline-active-indicator, nxml-outline-ellipsis): Rename, removing -face suffix. (nxml-highlighted-less-than, nxml-highlighted-greater-than) (nxml-highlighted-colon, nxml-highlighted-slash) (nxml-highlighted-ellipsis, nxml-highlighted-inactive-minus) (nxml-highlighted-active-minus, nxml-highlighted-active-plus) (nxml-highlighted-qname, nxml-outline-display-heading): Use new face names.
author Jason Rumney <jasonr@gnu.org>
date Thu, 20 Dec 2007 15:19:22 +0000
parents 354e0c45cedf
children 14a97ab281d5
line wrap: on
line source

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