summaryrefslogtreecommitdiff
path: root/Master/tlpkg/doc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/doc')
-rw-r--r--Master/tlpkg/doc/packages.txt3
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: