diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index 8a08465c4a9..d286c597af7 100644 --- a/Makefile.in +++ b/Makefile.in @@ -991,8 +991,7 @@ ${srcdir}/info/dir: ${info_dir_deps} $(AM_V_at)${MKDIR_P} ${srcdir}/info $(AM_V_GEN)(cd ${srcdir}/doc && \ AWK='${AWK}' ../build-aux/make-info-dir ${info_dir_inputs} \ - ) >$@.tmp - mv $@.tmp $@ + ) >$@.tmp && mv $@.tmp $@ INSTALL_DVI = install-emacs-dvi install-lispref-dvi \ install-lispintro-dvi install-misc-dvi |