DOS housekeeping

stonebig · stonebig · commit 777267bc6ec3 · 2021-12-04T20:14:50.000+01:00
... trying not to get mad at DOS
diff --git a/make.py b/make.py
@@ -1021,6 +1021,7 @@ def _create_batch_scripts_initial(self):
 set WINPYDIRBASETMP=%~dp0..
 pushd %WINPYDIRBASETMP%
 set WINPYDIRBASE=%__CD__%
+if "%WINPYDIRBASE:~-1%"=="\" set WINPYDIRBASE=%WINPYDIRBASE:~0,-1%
 set WINPYDIRBASETMP=
 popd
 
@@ -1358,7 +1359,7 @@ def _create_batch_scripts_initial(self):
             'env_for_icons.bat',
             r"""@echo off
 call "%~dp0env.bat"
-set WINPYWORKDIR=%~dp0..\Notebooks
+set WINPYWORKDIR=%WINPYDIRBASE%\Notebooks
 
 rem default is as before: Winpython ..\Notebooks
 set WINPYWORKDIR1=%WINPYWORKDIR%
