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’.

1 files changed, 3 insertions, 5 deletions

diff --git a/Makefile.in b/Makefile.in
index 60f30b993a3..807a40a2844 100644
--- 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