changeset 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 566100bc6eef
children 4f8b7860819e
files Makefile.in
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
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)