diff options
Diffstat (limited to 'nt')
| -rwxr-xr-x | nt/configure.bat | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/nt/configure.bat b/nt/configure.bat index 4ee9b46a2b3..0525b53bd21 100755 --- a/nt/configure.bat +++ b/nt/configure.bat | |||
| @@ -276,6 +276,8 @@ if exist ..\leim\makefile.w32-in copy /b config.settings+%MAKECMD%.defs+..\leim\ | |||
| 276 | if not exist ..\leim\makefile.w32-in copy /b config.settings+%MAKECMD%.defs+..\leim\Makefile.in ..\leim\makefile | 276 | if not exist ..\leim\makefile.w32-in copy /b config.settings+%MAKECMD%.defs+..\leim\Makefile.in ..\leim\makefile |
| 277 | del config.settings | 277 | del config.settings |
| 278 | 278 | ||
| 279 | Rem Some people use WinZip which doesn't create empty directories! | ||
| 280 | if not exist ..\site-lisp\nul mkdir ..\site-lisp\ | ||
| 279 | if not exist ..\site-lisp\subdirs.el copy subdirs.el ..\site-lisp\subdirs.el | 281 | if not exist ..\site-lisp\subdirs.el copy subdirs.el ..\site-lisp\subdirs.el |
| 280 | 282 | ||
| 281 | echo. | 283 | echo. |