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 /lib/diffseq.h | |
| 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 'lib/diffseq.h')
0 files changed, 0 insertions, 0 deletions