diff options
Diffstat (limited to 'Master/tlpkg/dev')
| -rw-r--r-- | Master/tlpkg/dev/profiles/TLcomma.pro | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/Master/tlpkg/dev/profiles/TLcomma.pro b/Master/tlpkg/dev/profiles/TLcomma.pro new file mode 100644 index 00000000000..4114efcdd2a --- /dev/null +++ b/Master/tlpkg/dev/profiles/TLcomma.pro @@ -0,0 +1,15 @@ +# $Id$ +# This profile does not create a working installation, because of the +# comma in TEXDIR. See TLUtils::texdir_check for other special characters. +selected_scheme scheme-infraonly +TEXDIR /tmp/ki,c +TEXMFHOME /tmp/ki,c/user/home +TEXMFLOCAL /tmp/ki,c/texmf-local +TEXMFSYSCONFIG /tmp/ki,c/texmf-config +TEXMFSYSVAR /tmp/ki,c/texmf-var +TEXMFCONFIG /tmp/ki,c/user/config +TEXMFVAR /tmp/ki,c/user/var +option_doc 0 +option_fmt 0 +option_src 0 +option_adjustrepo 0 |