1 files changed, 15 insertions, 0 deletions

diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in
index 151be725258..1f1acccb6f0 100644
--- a/nt/makefile.w32-in
+++ b/nt/makefile.w32-in
@@ -214,6 +214,15 @@ 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

 #

@@ -229,8 +238,14 @@ 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: