# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 891235239 0
# Node ID dd41afae56a4f20e8f320e3ff9d6b46d70f1d122
# Parent  566100bc6eef7883ad31eb59026d894bbe360fd2
(info): Run man in build dir, not srcdir.

diff -r 566100bc6eef -r dd41afae56a4 Makefile.in
--- a/Makefile.in	Mon Mar 30 04:39:53 1998 +0000
+++ b/Makefile.in	Mon Mar 30 05:20:39 1998 +0000
@@ -570,6 +570,9 @@
 .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)