summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/tl-portable4
-rwxr-xr-xMaster/tl-portable.bat2
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"