diff options
| author | Richard M. Stallman <[email protected]> | 1998-03-30 05:20:39 +0000 |
|---|---|---|
| committer | Richard M. Stallman <[email protected]> | 1998-03-30 05:20:39 +0000 |
| commit | 5c5f75f13161ef3de0945a4028fe00f8e5d33583 (patch) | |
| tree | e04401e12e05dc92fe14e29062f3c6da1b3eddd6 /Makefile.in | |
| parent | 3691e056ac4ad491b0be2074703f6298e87430cb (diff) | |
(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 78de8cfea4..bb7b49ec98 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) |