diff options
| author | Glenn Morris | 2013-12-12 01:08:26 -0800 |
|---|---|---|
| committer | Glenn Morris | 2013-12-12 01:08:26 -0800 |
| commit | f5011847b2b7d4c2ac2f977996702e45e4de0b3d (patch) | |
| tree | f194f99fab2491b4ea1cf171c7268d8078197217 | |
| parent | e035a207b7c3ce6493088b03c1066db58b0cf375 (diff) | |
| download | emacs-f5011847b2b7d4c2ac2f977996702e45e4de0b3d.tar.gz emacs-f5011847b2b7d4c2ac2f977996702e45e4de0b3d.zip | |
* Makefile.in (${srcdir}/info/dir): Parallel make fix.
| -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 | |||
| 964 | ## It would be much simpler if info/dir was only created in the | 964 | ## It would be much simpler if info/dir was only created in the |
| 965 | ## installation location by the install-info rule, but we also | 965 | ## installation location by the install-info rule, but we also |
| 966 | ## need one in the source directory for people running uninstalled. | 966 | ## need one in the source directory for people running uninstalled. |
| 967 | ## The dependency on *.texi is not essential, but it keeps | 967 | ## FIXME Change make-info-dir to use texi files rather than info-files, |
| 968 | ## this rule from running needlessly when there are no changes. | 968 | ## depend on ${srcdir}/doc/*/*.texi here rather than info-real. |
| 969 | ${srcdir}/info/dir: ${srcdir}/build-aux/dir_top ${srcdir}/doc/*/*.texi | 969 | ${srcdir}/info/dir: info-real ${srcdir}/build-aux/dir_top |
| 970 | ${MAKE} ${MFLAGS} info-real | ||
| 971 | tempfile=info-dir.$$$$; \ | 970 | tempfile=info-dir.$$$$; \ |
| 972 | rm -f $${tempfile}; \ | 971 | rm -f $${tempfile}; \ |
| 973 | thisdir=`pwd`; \ | 972 | thisdir=`pwd`; \ |