diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/tl-portable | 4 | ||||
| -rwxr-xr-x | Master/tl-portable.bat | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Master/tl-portable b/Master/tl-portable index 288449d1aa1..47151860a77 100755 --- a/Master/tl-portable +++ b/Master/tl-portable @@ -35,10 +35,10 @@ testfile=1 TEXDIRW=$TEXDIR else echo $TEXDIR is not writable. - TEXDIRW=$HOME/.tlport2008 + TEXDIRW=$HOME/.tlportable2008 fi else - TEXDIRW=$HOME/.tlport2008 + TEXDIRW=$HOME/.tlportable2008 fi export TEXDIRW echo Using $TEXDIRW for generated files. diff --git a/Master/tl-portable.bat b/Master/tl-portable.bat index b14ddc697b3..92e9acfeba3 100755 --- a/Master/tl-portable.bat +++ b/Master/tl-portable.bat @@ -12,7 +12,7 @@ set tldrive=%~d0 cd %TEXDIR% rem TEXDIR writable? -set TEXDIRW=%USERPROFILE%\.tlport2008\ +set TEXDIRW=%USERPROFILE%\.tlportable2008\ del "%TEXDIR%tl_wrtest" 2>nul echo Testing for write access %TEXDIR%... echo Hello >"%TEXDIR%tl_wrtest" |