diff options
Diffstat (limited to 'Master/tlpkg/dev/profiles/TLroot.pro')
-rw-r--r-- | Master/tlpkg/dev/profiles/TLroot.pro | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/dev/profiles/TLroot.pro b/Master/tlpkg/dev/profiles/TLroot.pro index 4db1cae84d6..52047792eb8 100644 --- a/Master/tlpkg/dev/profiles/TLroot.pro +++ b/Master/tlpkg/dev/profiles/TLroot.pro @@ -1,4 +1,5 @@ # $Id$ +# Install under /, instead of /tmp/ki. selected_scheme scheme-minimal TEXDIR /tl TEXMFHOME /tl/user/home |