diff options
-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\ if not exist ..\leim\makefile.w32-in copy /b config.settings+%MAKECMD%.defs+..\leim\Makefile.in ..\leim\makefile
del config.settings
+Rem Some people use WinZip which doesn't create empty directories!
+if not exist ..\site-lisp\nul mkdir ..\site-lisp\
if not exist ..\site-lisp\subdirs.el copy subdirs.el ..\site-lisp\subdirs.el
echo.
|