# HG changeset patch
# User Jason Rumney <jasonr@gnu.org>
# Date 1083592283 0
# Node ID 61fda07994e45c1606cc4803da8c0f59575fbf70
# Parent  33225d8d84abf9eb3b3127d5f761a9d588987ee1
(info-gmake, info-nmake): New targets.
(info): Use them.

diff -r 33225d8d84ab -r 61fda07994e4 nt/makefile.w32-in
--- a/nt/makefile.w32-in	Mon May 03 13:39:24 2004 +0000
+++ b/nt/makefile.w32-in	Mon May 03 13:51:23 2004 +0000
@@ -217,11 +217,20 @@
 # 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
 #