(find-includes, summary.texinfo): Use move-if-change in place of mv.
authorroland <roland>
Mon, 9 Nov 1992 22:32:58 +0000 (22:32 +0000)
committerroland <roland>
Mon, 9 Nov 1992 22:32:58 +0000 (22:32 +0000)
commit91c8812fdc3fb022f65fff7406f44777b018f09e
treec1afcc2ce77dfca9171cf888c654ab0d8e607d56
parent248f87bd324281103416d89e2e81b1d9153a036c
(find-includes, summary.texinfo): Use move-if-change in place of mv.
(minimal-dist): Include move-if-change.
manual/Makefile