summaryrefslogtreecommitdiff
path: root/Master/tlpkg/dev
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-03-21 22:55:48 +0000
committerKarl Berry <karl@freefriends.org>2019-03-21 22:55:48 +0000
commitab5126e3419bd90af9d13d84a97c650fa1df150c (patch)
treebeb4677e638bead9eb314ce0da622a4f478df4ef /Master/tlpkg/dev
parent7f9f41da9cef87b2c7eb9cd7fc2c05fbe8da77a7 (diff)
doc,sync
git-svn-id: svn://tug.org/texlive/trunk@50520 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/dev')
-rw-r--r--Master/tlpkg/dev/profiles/TLinfra+sys.pro20
1 files changed, 20 insertions, 0 deletions
diff --git a/Master/tlpkg/dev/profiles/TLinfra+sys.pro b/Master/tlpkg/dev/profiles/TLinfra+sys.pro
new file mode 100644
index 00000000000..19a535835bb
--- /dev/null
+++ b/Master/tlpkg/dev/profiles/TLinfra+sys.pro
@@ -0,0 +1,20 @@
+# $Id$
+# infrastructure only, with only x86_64-linux binaries,
+# and including the symlink option, using "system" directories
+# under /tmp/ki/usr.
+selected_scheme scheme-infraonly
+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 0
+option_fmt 0
+option_src 0
+option_adjustrepo 0
+instopt_adjustpath 1
+tlpdbopt_sys_bin /tmp/ki/usr/bin
+tlpdbopt_sys_man /tmp/ki/usr/man
+tlpdbopt_sys_info /tmp/ki/usr/info