From 5c5f75f13161ef3de0945a4028fe00f8e5d33583 Mon Sep 17 00:00:00 2001 From: "Richard M. Stallman" Date: Mon, 30 Mar 1998 05:20:39 +0000 Subject: [PATCH] (info): Run man in build dir, not srcdir. --- Makefile.in | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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) -- 2.39.2