Only touch reldate.h if it actually changes.

It was getting annoying rebuilding the manual after every commit.

diff --git a/Makefile.am b/Makefile.am
index e7e0497965e90f47bd4f7c999c7b420d4149be33..82382fae551f9e4296c83ffc62bfc619e6911d42 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -122,7 +122,9 @@ $(srcdir)/keymap_alldefs.h: $(srcdir)/OPS $(srcdir)/OPS.PGP $(srcdir)/OPS.MIX $(
                        > $(srcdir)/keymap_alldefs.h
 
 reldate.h: $(srcdir)/ChangeLog
-       echo 'const char *ReleaseDate = "'`head -n 1 $(srcdir)/ChangeLog | LC_ALL=C cut -d ' ' -f 1`'";' > reldate.h
+       echo 'const char *ReleaseDate = "'`head -n 1 $(srcdir)/ChangeLog | LC_ALL=C cut -d ' ' -f 1`'";' > reldate.h.tmp; \
+       cmp -s reldate.h.tmp reldate.h || cp reldate.h.tmp reldate.h; \
+       rm reldate.h.tmp
 
 patchlist.c: $(srcdir)/PATCHES $(srcdir)/patchlist.sh
        $(srcdir)/patchlist.sh < $(srcdir)/PATCHES > patchlist.c