From f5011847b2b7d4c2ac2f977996702e45e4de0b3d Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Thu, 12 Dec 2013 01:08:26 -0800
Subject: [PATCH] * Makefile.in (${srcdir}/info/dir): Parallel make fix.

---
 Makefile.in | 7 +++----
 1 file 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`; \
-- 
2.39.2