diff options
Diffstat (limited to 'Master/tlpkg/dev/profiles/TLlink.pro')
| -rw-r--r-- | Master/tlpkg/dev/profiles/TLlink.pro | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/Master/tlpkg/dev/profiles/TLlink.pro b/Master/tlpkg/dev/profiles/TLlink.pro new file mode 100644 index 00000000000..11259c77d52 --- /dev/null +++ b/Master/tlpkg/dev/profiles/TLlink.pro @@ -0,0 +1,33 @@ +# $Id$ +# texlive.profile written on Tue Dec 2 17:20:04 2014 UTC +# It will NOT be updated and reflects only the +# installation profile at installation time. +selected_scheme scheme-minimal +TEXDIR /tmp/ki +TEXMFCONFIG /tmp/ki/user/config +TEXMFHOME /tmp/ki/user/home +TEXMFLOCAL /tmp/ki/texmf-local +TEXMFSYSCONFIG /tmp/ki/texmf-config +TEXMFSYSVAR /tmp/ki/texmf-var +TEXMFVAR /tmp/ki/user/var +binary_i386-linux 1 +collection-basic 1 +in_place 0 +option_adjustrepo 0 +option_autobackup 1 +option_backupdir tlpkg/backups +option_desktop_integration 1 +option_doc 1 +option_file_assocs 1 +option_fmt 0 +option_letter 0 +option_menu_integration 1 +option_path 1 +option_post_code 1 +option_src 0 +option_sys_bin /tmp/ki/sysbin +option_sys_info /tmp/ki/sysinfo +option_sys_man /tmp/ki/sysman +option_w32_multi_user 1 +option_write18_restricted 1 +portable 0 |