Do not trick info/dir’s timestamp

* Makefile.in (${srcdir}/info/dir): When making this file, do not
do anything special about its timestamp.  Previously this rule
used move-if-change, which meant that this file’s timestamp could
end up being older than the files it depends on, and this caused
‘make --question info’ to fail, which caused ‘make-dist’ to fail
now that ‘make-dist’ invokes ‘make --question info’.

diff --git a/Makefile.in b/Makefile.in
index 60f30b993a3b2585c7ddb7ffb9b53dd7c38ea2dc..807a40a28444e08229b040126f65e45ac751f9ea 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -1011,12 +1011,10 @@ info_dir_deps = \
 ## slow down parallelization.
 ${srcdir}/info/dir: ${info_dir_deps}
        $(AM_V_at)${MKDIR_P} ${srcdir}/info
-       $(AM_V_GEN)tempfile=info-dir.$$$$; \
-       rm -f $${tempfile}; \
-       (cd ${srcdir}/doc && \
+       $(AM_V_GEN)(cd ${srcdir}/doc && \
         AWK='${AWK}' ../build-aux/make-info-dir ${info_dir_inputs} \
-       ) >$$tempfile && \
-       ${srcdir}/build-aux/move-if-change $${tempfile} ${srcdir}/info/dir
+       ) >$@.tmp
+       mv $@.tmp $@
 
 INSTALL_DVI = install-emacs-dvi install-lispref-dvi \
        install-lispintro-dvi install-misc-dvi