diff options
Diffstat (limited to 'Master/tl-portable')
| -rwxr-xr-x | Master/tl-portable | 4 |
1 files changed, 2 insertions, 2 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. |