Create ``makefile'' in directories man, lispref and lispintro.

1 files changed, 3 insertions, 0 deletions

diff --git a/nt/configure.bat b/nt/configure.bat
index ba361079b9f..a27bbcd8cdd 100755
--- a/nt/configure.bat
+++ b/nt/configure.bat
@@ -433,6 +433,9 @@ copy paths.h ..\src\epaths.h
 copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile

 copy /b config.settings+%MAKECMD%.defs+..\lib-src\makefile.w32-in ..\lib-src\makefile

 copy /b config.settings+%MAKECMD%.defs+..\src\makefile.w32-in ..\src\makefile

+copy /b config.settings+%MAKECMD%.defs+..\man\makefile.w32-in ..\man\makefile

+copy /b config.settings+%MAKECMD%.defs+..\lispref\makefile.w32-in ..\lispref\makefile

+copy /b config.settings+%MAKECMD%.defs+..\lispintro\makefile.w32-in ..\lispintro\makefile

 if not exist ..\lisp\Makefile.unix rename ..\lisp\Makefile.in Makefile.unix

 if exist ..\lisp\makefile rm -f ../lisp/[Mm]akefile

 copy /b config.settings+%MAKECMD%.defs+..\lisp\makefile.w32-in ..\lisp\makefile