aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile.in8
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 = \
1011## slow down parallelization. 1011## slow down parallelization.
1012${srcdir}/info/dir: ${info_dir_deps} 1012${srcdir}/info/dir: ${info_dir_deps}
1013 $(AM_V_at)${MKDIR_P} ${srcdir}/info 1013 $(AM_V_at)${MKDIR_P} ${srcdir}/info
1014 $(AM_V_GEN)tempfile=info-dir.$$$$; \ 1014 $(AM_V_GEN)(cd ${srcdir}/doc && \
1015 rm -f $${tempfile}; \
1016 (cd ${srcdir}/doc && \
1017 AWK='${AWK}' ../build-aux/make-info-dir ${info_dir_inputs} \ 1015 AWK='${AWK}' ../build-aux/make-info-dir ${info_dir_inputs} \
1018 ) >$$tempfile && \ 1016 ) >$@.tmp
1019 ${srcdir}/build-aux/move-if-change $${tempfile} ${srcdir}/info/dir 1017 mv $@.tmp $@
1020 1018
1021INSTALL_DVI = install-emacs-dvi install-lispref-dvi \ 1019INSTALL_DVI = install-emacs-dvi install-lispref-dvi \
1022 install-lispintro-dvi install-misc-dvi 1020 install-lispintro-dvi install-misc-dvi