diff options
author | Richard M. Stallman <rms@gnu.org> | 1998-03-30 05:20:39 +0000 |
---|---|---|
committer | Richard M. Stallman <rms@gnu.org> | 1998-03-30 05:20:39 +0000 |
commit | 5c716e1a0d7c40aac7a97021d4dc873df651fdbf (patch) | |
tree | 8d1addcb04c9991b1218c435854d460cc68cdbf7 /Makefile.in | |
parent | 712f08c3fde35259ad351d09068798f96959f449 (diff) | |
download | emacs-5c716e1a0d7c40aac7a97021d4dc873df651fdbf.tar.gz |
(info): Run man in build dir, not srcdir.
Diffstat (limited to 'Makefile.in')
-rw-r--r-- | Makefile.in | 5 |
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) |