annotate move-if-change @ 57193:714a83d1ea32

(Display): Add 'Fringe Bitmaps' and 'Pointer Shapes' to menu. (Standard Faces): Doc fix for fringe face. (Fringes): Add `overflow-newline-into-fringe' and 'indicate-buffer-boundaries'. (Fringe Bitmaps, Pointer Shapes): New nodes. (Display Property): Add 'Pixel Specification' and 'Display Fringe Bitmaps' to menu. (Specified Space): Describe pixel width and height. (Pixel Specification): New node. (Other Display Specs): Add `slice' property. (Display Fringe Bitmaps): New node. (Images): Add 'Image Slices' to menu. (Image Descriptors): Add `:pointer' and `:map' properties. (Showing Images): Add slice arg to `insert-image'. Add 'insert-sliced-image'.
author Kim F. Storm <storm@cua.dk>
date Wed, 22 Sep 2004 23:06:58 +0000
parents 354e0c45cedf
children 14a97ab281d5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
25856
Dave Love <fx@gnu.org>
parents:
diff changeset
1 #!/bin/sh
Dave Love <fx@gnu.org>
parents:
diff changeset
2 if
Dave Love <fx@gnu.org>
parents:
diff changeset
3 test -r $2
Dave Love <fx@gnu.org>
parents:
diff changeset
4 then
Dave Love <fx@gnu.org>
parents:
diff changeset
5 if
Dave Love <fx@gnu.org>
parents:
diff changeset
6 cmp $1 $2 > /dev/null
Dave Love <fx@gnu.org>
parents:
diff changeset
7 then
Dave Love <fx@gnu.org>
parents:
diff changeset
8 echo $2 is unchanged
Dave Love <fx@gnu.org>
parents:
diff changeset
9 rm -f $1
Dave Love <fx@gnu.org>
parents:
diff changeset
10 else
Dave Love <fx@gnu.org>
parents:
diff changeset
11 mv -f $1 $2
Dave Love <fx@gnu.org>
parents:
diff changeset
12 fi
Dave Love <fx@gnu.org>
parents:
diff changeset
13 else
Dave Love <fx@gnu.org>
parents:
diff changeset
14 mv -f $1 $2
Dave Love <fx@gnu.org>
parents:
diff changeset
15 fi