changeset 55337:61fda07994e4

(info-gmake, info-nmake): New targets. (info): Use them.
author Jason Rumney <jasonr@gnu.org>
date Mon, 03 May 2004 13:51:23 +0000
parents 33225d8d84ab
children 3fe6300a67bf
files nt/makefile.w32-in
diffstat 1 files changed, 13 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- 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
 #