diff options
author | Karl Berry <karl@freefriends.org> | 2019-03-21 22:55:48 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-03-21 22:55:48 +0000 |
commit | ab5126e3419bd90af9d13d84a97c650fa1df150c (patch) | |
tree | beb4677e638bead9eb314ce0da622a4f478df4ef /Master/tlpkg | |
parent | 7f9f41da9cef87b2c7eb9cd7fc2c05fbe8da77a7 (diff) |
doc,sync
git-svn-id: svn://tug.org/texlive/trunk@50520 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-bindir | 4 | ||||
-rw-r--r-- | Master/tlpkg/dev/profiles/TLinfra+sys.pro | 20 |
2 files changed, 23 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-bindir b/Master/tlpkg/bin/tl-update-bindir index 2a615888aec..ea1a11cc6a0 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -137,7 +137,9 @@ for tlplat in $tlplats; do download_loc=$tmpdir/tl.$tlplat.tar.xz default_bin_loc=$download_loc grab="$download -O $download_loc" - $grab http://anthesphoria.net/FreeBSD/TeXLive-Devel/i386-freebsd7.tar.xz;; + #http://anthesphoria.net/FreeBSD/TeXLive-Devel/i386-freebsd7.tar.xz + remurl=http://dl.contextgarden.net/build/texlive/$tlplat.tar.xz + $grab $remurl;; i386-kfreebsd) download_loc=$tmpdir/tl.$tlplat.tar.xz default_bin_loc=$download_loc 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 |