# HG changeset patch
# User jwe
# Date 782228104 0
# Node ID c1af36e4ed063557108ba183fac742e54365df67
# Parent  651ab12ec97bd50b7d7021f4691cf741d1d0acae
[project @ 1994-10-15 13:35:04 by jwe]

diff --git a/octMakefile.in b/octMakefile.in
--- a/octMakefile.in
+++ b/octMakefile.in
@@ -289,5 +289,5 @@
 		 datestring); \
 	  next; \
 	} { print $$0 }' src/version.h > src/version.h.new
-	mv src/version.h.new src/version.h
+	@(top_srcdir)/move-if-change src/version.h.new src/version.h
 .PHONY: snapshot-version