(info): Run man in build dir, not srcdir.

1 files changed, 4 insertions, 1 deletions

diff --git a/Makefile.in b/Makefile.in
index 78de8cfea41..bb7b49ec98e 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -570,6 +570,9 @@ dist:
 .PHONY: info dvi dist check
 force-info:
 info: force-info
-        (cd ${srcdir}/man; $(MAKE) $(MFLAGS) info)
+        # Note that man/Makefile knows how to
+        # put the info files in $(srcdir),
+        # so we can do ok running make in the build dir.
+        (cd man; $(MAKE) $(MFLAGS) info)
 dvi:
         (cd man; $(MAKE) $(MFLAGS) dvi)