diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-12 12:17:41 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2017-09-12 12:18:08 -0700 |
| commit | cb80fd0d5009f4ae246a55a5504173c08215eaa7 (patch) | |
| tree | 7834f77c134a35908947b9133188543f972eafea /Makefile.in | |
| parent | 7aa49c2952d4aff6dba3a00dcd4624b090c848a8 (diff) | |
| download | emacs-cb80fd0d5009f4ae246a55a5504173c08215eaa7.tar.gz | |
Less chatter for ’make info/dir’
* Makefile.in (${srcdir}/info/dir): Tweak shell command so
that an ordinary make says just "GEN info/dir" rather than
also having a seemingly-unrelated mv line.
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 |