diff options
Diffstat (limited to 'nt/makefile.w32-in')
| -rw-r--r-- | nt/makefile.w32-in | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in index 1f1acccb6f0..4e8265f4da0 100644 --- a/nt/makefile.w32-in +++ b/nt/makefile.w32-in @@ -214,15 +214,6 @@ install-other-dirs-gmake: $(MAKE) $(MFLAGS) -C ../lisp install
$(MAKE) $(MFLAGS) -C ../leim install
-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)
-
#
# Maintenance
#
@@ -238,14 +229,8 @@ clean-other-dirs-nmake: $(MAKE) $(MFLAGS) clean
cd ..\lisp
$(MAKE) $(MFLAGS) clean
- cd ..\lispintro
- $(MAKE) $(MFLAGS) clean
- cd ..\lispref
- $(MAKE) $(MFLAGS) clean
cd ..\leim
$(MAKE) $(MFLAGS) clean
- cd ..\man
- $(MAKE) $(MFLAGS) clean
cd ..\nt
clean-other-dirs-gmake:
@@ -273,5 +258,3 @@ cleanall: clean cleanall-other-dirs-$(MAKETYPE) realclean: cleanall
- $(DEL_TREE) ../bin
-
-# arch-tag: 6f5b23a6-774b-4598-9c29-58235b2b4219
|