view move-if-change @ 106584:cdeb7eaac6f4

(INFO_TARGETS, DVI_TARGETS): Add edt. (edt, $(infodir)/edt, edt.dvi): New targets. (PDF_TARGETS, pdf): New. (clean): Add *.pdf. Add pdf rules for all manuals.

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