changeset 52422:11b0aed20b26

Create ``makefile'' in directories man, lispref and lispintro.
author Jason Rumney <jasonr@gnu.org>
date Wed, 03 Sep 2003 22:52:12 +0000
parents c6c2d0694257
children d5ad9d67bb1a
files nt/configure.bat
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/nt/configure.bat	Wed Sep 03 14:20:49 2003 +0000
+++ b/nt/configure.bat	Wed Sep 03 22:52:12 2003 +0000
@@ -433,6 +433,9 @@
 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