diff options
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: |