comparison 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
comparison
equal deleted inserted replaced
21317:566100bc6eef 21318:dd41afae56a4
568 cd ${srcdir}; make-dist 568 cd ${srcdir}; make-dist
569 569
570 .PHONY: info dvi dist check 570 .PHONY: info dvi dist check
571 force-info: 571 force-info:
572 info: force-info 572 info: force-info
573 (cd ${srcdir}/man; $(MAKE) $(MFLAGS) info) 573 # Note that man/Makefile knows how to
574 # put the info files in $(srcdir),
575 # so we can do ok running make in the build dir.
576 (cd man; $(MAKE) $(MFLAGS) info)
574 dvi: 577 dvi:
575 (cd man; $(MAKE) $(MFLAGS) dvi) 578 (cd man; $(MAKE) $(MFLAGS) dvi)