summaryrefslogtreecommitdiff
path: root/Master/tlpkg/dev
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-05-16 22:27:18 +0000
committerKarl Berry <karl@freefriends.org>2020-05-16 22:27:18 +0000
commite770f6408281073180c3278342772768bcc18377 (patch)
tree1d7acfd025b15f070b130fd085123495bb2cb3c6 /Master/tlpkg/dev
parenta49406d349ce3052d826a20206cfdb832ed36bd4 (diff)
restore man symlinks per platform (except bin/win32), to avoid error
extracting symlink on Windows. https://tug.org/pipermail/tex-live/2020-May/045718.html git-svn-id: svn://tug.org/texlive/trunk@55167 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/dev')
-rw-r--r--Master/tlpkg/dev/profiles/TLlink.pro21
1 files changed, 8 insertions, 13 deletions
diff --git a/Master/tlpkg/dev/profiles/TLlink.pro b/Master/tlpkg/dev/profiles/TLlink.pro
index 11259c77d52..87612e07620 100644
--- a/Master/tlpkg/dev/profiles/TLlink.pro
+++ b/Master/tlpkg/dev/profiles/TLlink.pro
@@ -1,18 +1,14 @@
# $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
+# This profile is about making links in system directories.
+selected_scheme scheme-infraonly
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
+TEXMFSYSCONFIG /tmp/ki/sys/config
+TEXMFSYSVAR /tmp/ki/sys/var
TEXMFVAR /tmp/ki/user/var
-binary_i386-linux 1
-collection-basic 1
-in_place 0
+binary_x86_64-linux 1
option_adjustrepo 0
option_autobackup 1
option_backupdir tlpkg/backups
@@ -21,13 +17,12 @@ 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_sys_bin /tmp/trysys/bin
+option_sys_info /tmp/trysys/info
+option_sys_man /tmp/trysys/man
option_w32_multi_user 1
option_write18_restricted 1
portable 0