diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-12-12 01:08:26 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-12-12 01:08:26 -0800 |
| commit | f5011847b2b7d4c2ac2f977996702e45e4de0b3d (patch) | |
| tree | f194f99fab2491b4ea1cf171c7268d8078197217 /Makefile.in | |
| parent | e035a207b7c3ce6493088b03c1066db58b0cf375 (diff) | |
| download | emacs-f5011847b2b7d4c2ac2f977996702e45e4de0b3d.tar.gz | |
* Makefile.in (${srcdir}/info/dir): Parallel make fix.
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/Makefile.in b/Makefile.in index 58783cd2b26..7effadd6479 100644 --- a/Makefile.in +++ b/Makefile.in @@ -964,10 +964,9 @@ info-dir: ${srcdir}/info/dir ## It would be much simpler if info/dir was only created in the ## installation location by the install-info rule, but we also ## need one in the source directory for people running uninstalled. -## The dependency on *.texi is not essential, but it keeps -## this rule from running needlessly when there are no changes. -${srcdir}/info/dir: ${srcdir}/build-aux/dir_top ${srcdir}/doc/*/*.texi - ${MAKE} ${MFLAGS} info-real +## FIXME Change make-info-dir to use texi files rather than info-files, +## depend on ${srcdir}/doc/*/*.texi here rather than info-real. +${srcdir}/info/dir: info-real ${srcdir}/build-aux/dir_top tempfile=info-dir.$$$$; \ rm -f $${tempfile}; \ thisdir=`pwd`; \ |