diff options
| author | Jason Rumney <jasonr@gnu.org> | 2004-05-03 13:51:59 +0000 |
|---|---|---|
| committer | Jason Rumney <jasonr@gnu.org> | 2004-05-03 13:51:59 +0000 |
| commit | 5eb3d2a5149951c9ba57549fe278c57efbe106b6 (patch) | |
| tree | 7d0e0b9a472dde4ed88694ecf900b481c8f6660b /nt/makefile.w32-in | |
| parent | 6aa06cd8d273fb90b895a73cb3e4701b47d7d75a (diff) | |
(info-gmake, info-nmake): New targets.
(info): Use them.
Diffstat (limited to 'nt/makefile.w32-in')
| -rw-r--r-- | nt/makefile.w32-in | 17 |
1 files changed, 13 insertions, 4 deletions
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
#
|