Paul Eggert 78b215ffea 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.		2014-10-22 20:32:21 -07:00
..
snippet	Update copyright year to 2014 by running admin/update-copyright.	2014-01-01 07:43:34 +00:00
dir_top	Stop keeping info/dir in the repository.	2013-12-12 00:54:21 -08:00
make-info-dir	Fix race in 'make info/dir', and speed it up.	2014-10-22 20:32:21 -07:00
move-if-change	Update copyright year to 2014 by running admin/update-copyright.	2014-01-01 07:43:34 +00:00
msys-to-w32	Update copyright year to 2014 by running admin/update-copyright.	2014-01-01 07:43:34 +00:00
update-copyright	Update copyright year to 2014 by running admin/update-copyright.	2014-01-01 07:43:34 +00:00
update-subdirs	Update copyright year to 2014 by running admin/update-copyright.	2014-01-01 07:43:34 +00:00