+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:
# Note that man/makefile knows how to\r
# put the info files in $(infodir),\r
# so we can do ok running make in the build dir.\r
-info: force-info\r
- (cd ..\man && $(MAKE) $(MFLAGS) info)\r
- (cd ..\lispref && $(MAKE) $(MFLAGS) info)\r
- (cd ..\lispintro && $(MAKE) $(MFLAGS) info)\r
+info: force-info info-$(MAKETYPE)\r
\r
+info-nmake:\r
+ cd ..\man\r
+ $(MAKE) $(MFLAGS) info\r
+ cd ..\lispref\r
+ $(MAKE) $(MFLAGS) info\r
+ cd ..\lispintro\r
+ $(MAKE) $(MFLAGS) info\r
+\r
+info-gmake:\r
+ $(MAKE) $(MFLAGS) -C ../man info\r
+ $(MAKE) $(MFLAGS) -C ../lispref info\r
+ $(MAKE) $(MFLAGS) -C ../lispintro info\r
#\r
# Maintenance\r
#\r