diff options
| author | Karl Berry <karl@freefriends.org> | 2018-03-14 23:01:23 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-03-14 23:01:23 +0000 |
| commit | 3b740defa2e7dde3cc58aaf6042bfb89ac81cbfb (patch) | |
| tree | bd18d9731b61b93022a39aa3e3e165316cedd2da /Master/tlpkg/doc | |
| parent | fc4dcb203233e8f530ad0888acd7ed235bfb36be (diff) | |
remove i386-linuxmusl, guessing zero users
git-svn-id: svn://tug.org/texlive/trunk@46966 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/doc')
| -rw-r--r-- | Master/tlpkg/doc/packages.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Master/tlpkg/doc/packages.txt b/Master/tlpkg/doc/packages.txt index 4e1f6d1c34c..ac656282572 100644 --- a/Master/tlpkg/doc/packages.txt +++ b/Master/tlpkg/doc/packages.txt @@ -30,8 +30,7 @@ To remove a platform: - remove xz, xzdec, maybe wget binaries in Master/tlpkg/installer. - remove any special cases in Master/tlpkg/tlpsrc. - remove from prune list in tl-update-images, if present. -- remove entry in source/README, if there is one. -- rebuild. +- remove entry in Build/source/README, if there is one. To check tlpsrc changes without committing: |