diff options
author | Karl Berry <karl@freefriends.org> | 2014-06-20 18:21:04 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-06-20 18:21:04 +0000 |
commit | ae42101aa09ff3e8b08c072947acf6b70452354e (patch) | |
tree | a7db067c2b65133d9f2551709dd1516563ddb7eb /Master/tlpkg/bin | |
parent | 923c863c6c078a7518800e3ab0588e1449c2fa51 (diff) |
doc, sync
git-svn-id: svn://tug.org/texlive/trunk@34338 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-images | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-images b/Master/tlpkg/bin/tl-update-images index cb3e7610a3e..5ba5a6de65a 100755 --- a/Master/tlpkg/bin/tl-update-images +++ b/Master/tlpkg/bin/tl-update-images @@ -101,6 +101,7 @@ MAKEINST () # remove some platforms to save space on the dvd. # do this here so that they can be kept in the tree, # and thus installed normally over the net. + # keep in sync with info on http://tug.org/texlive/doc.html. prune="alpha-linux armel-linux armhf-linux mipsel-linux powerpc-linux \ i386-kfreebsd amd64-kfreebsd" echo "-- pruning platforms $prune..." |