diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2014-10-22 20:32:21 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2014-10-22 20:32:21 -0700 |
| commit | 78b215ffea604d7d062b292ec1d04e31b7b4bd74 (patch) | |
| tree | 11496e592a35d6b90dc5830e449b8f36d03f57d7 /nt/README.W32 | |
| parent | d361bcfbc7a69737ccd383e127fc8744c80cf5b4 (diff) | |
| download | emacs-78b215ffea604d7d062b292ec1d04e31b7b4bd74.tar.gz | |
Fix race in 'make info/dir', and speed it up.
* Makefile.in (AWK, srcdir_doc_info_dir_inputs, info_dir_inputs):
New macros.
(clean): Remove info-dir.*.
(info_dir_deps): Depend on make-info-dir too.
Fix bug with wildcards that weren't expanded.
(${srcdir}/info/dir): Make sure info directory exists.
Don't call pwd; just redirect make-info-dir's stdout to temp file.
* build-aux/make-info-dir: Send output to stdout.
Take input file names from args.
Fix a "FIXME inefficient looping" by using awk's associative arrays.
Basically, this rewrites the script from scratch, and speeds up
'make info/dir' from 2.6s to 0.07s on my platform.
Diffstat (limited to 'nt/README.W32')
0 files changed, 0 insertions, 0 deletions