(info-gmake, info-nmake): New targets.

(info): Use them.
This commit is contained in:
Jason Rumney 2004-05-03 13:51:59 +00:00
parent 6aa06cd8d2
commit 5eb3d2a514
2 changed files with 18 additions and 4 deletions

View file

@ -1,3 +1,8 @@
2004-05-03 Jason Rumney <jasonr@gnu.org>
* makefile.w32-in (info-gmake, info-nmake): New targets.
(info): Use them.
2004-04-23 Juanma Barranquero <lektu@terra.es>
* nmake.defs:

View file

@ -217,11 +217,20 @@ force-info:
# Note that man/makefile knows how to
# put the info files in $(infodir),
# so we can do ok running make in the build dir.
info: force-info
(cd ..\man && $(MAKE) $(MFLAGS) info)
(cd ..\lispref && $(MAKE) $(MFLAGS) info)
(cd ..\lispintro && $(MAKE) $(MFLAGS) info)
info: force-info info-$(MAKETYPE)
info-nmake:
cd ..\man
$(MAKE) $(MFLAGS) info
cd ..\lispref
$(MAKE) $(MFLAGS) info
cd ..\lispintro
$(MAKE) $(MFLAGS) info
info-gmake:
$(MAKE) $(MFLAGS) -C ../man info
$(MAKE) $(MFLAGS) -C ../lispref info
$(MAKE) $(MFLAGS) -C ../lispintro info
#
# Maintenance
#