diff options
| author | Paul Eggert | 2017-02-06 18:00:13 -0800 |
|---|---|---|
| committer | Paul Eggert | 2017-02-06 18:04:50 -0800 |
| commit | d7134989be3a83927e178bf0063aa5237bdb2a18 (patch) | |
| tree | dc5de5eff4c99d51c9a6fd57d4529c24f4eb43d6 /src | |
| parent | 03a012a79679c730634537f966200878bfd1c0b4 (diff) | |
| download | emacs-d7134989be3a83927e178bf0063aa5237bdb2a18.tar.gz emacs-d7134989be3a83927e178bf0063aa5237bdb2a18.zip | |
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’.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions