From 5eb3d2a5149951c9ba57549fe278c57efbe106b6 Mon Sep 17 00:00:00 2001 From: Jason Rumney Date: Mon, 3 May 2004 13:51:59 +0000 Subject: [PATCH] (info-gmake, info-nmake): New targets. (info): Use them. --- nt/ChangeLog | 5 +++++ nt/makefile.w32-in | 17 +++++++++++++---- 2 files changed, 18 insertions(+), 4 deletions(-) diff --git a/nt/ChangeLog b/nt/ChangeLog index ed3f154e5dd..ba8bfce157d 100644 --- a/nt/ChangeLog +++ b/nt/ChangeLog @@ -1,3 +1,8 @@ +2004-05-03 Jason Rumney + + * makefile.w32-in (info-gmake, info-nmake): New targets. + (info): Use them. + 2004-04-23 Juanma Barranquero * nmake.defs: diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in index 52455a0a2d8..4f619b3f2e3 100644 --- a/nt/makefile.w32-in +++ b/nt/makefile.w32-in @@ -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 # -- 2.39.5