diff options
Diffstat (limited to 'Master/tlpkg/dev/profiles/TLminall.pro')
| -rw-r--r-- | Master/tlpkg/dev/profiles/TLminall.pro | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Master/tlpkg/dev/profiles/TLminall.pro b/Master/tlpkg/dev/profiles/TLminall.pro new file mode 100644 index 00000000000..5c51d65ab0e --- /dev/null +++ b/Master/tlpkg/dev/profiles/TLminall.pro @@ -0,0 +1,14 @@ +# $Id$ +selected_scheme scheme-minimal +TEXDIR /tmp/ki +TEXMFHOME /tmp/ki/user/home +TEXMFLOCAL /tmp/ki/texmf-local +TEXMFSYSCONFIG /tmp/ki/sys/config +TEXMFSYSVAR /tmp/ki/sys/var +TEXMFCONFIG /tmp/ki/user/config +TEXMFVAR /tmp/ki/user/var +option_doc 1 +option_fmt 1 +option_letter 1 +option_src 1 +option_symlinks 0 |