diff Makefile.in @ 21318:dd41afae56a4

(info): Run man in build dir, not srcdir.
author Richard M. Stallman <rms@gnu.org>
date Mon, 30 Mar 1998 05:20:39 +0000
parents a5d6b18d63e5
children 015e06f86e25
line wrap: on
line diff
--- 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)