summaryrefslogtreecommitdiff
path: root/pkgtools
diff options
context:
space:
mode:
Diffstat (limited to 'pkgtools')
-rw-r--r--pkgtools/pkg_distinst/DESCR2
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgtools/pkg_distinst/DESCR b/pkgtools/pkg_distinst/DESCR
index d4b24981786..c3f77761d42 100644
--- a/pkgtools/pkg_distinst/DESCR
+++ b/pkgtools/pkg_distinst/DESCR
@@ -7,7 +7,7 @@ have an installed package as an owner.
If you play with packages a fair bit and download some just to have a play with
and delete the package later your ${DISTDIR} can end up with a lot of orphaned
${DISTFILES}. While lintpkgsrc will help you remove outdated ${DISTFILES} it
-does not do any corealtion with installed packakges which is the gap this
+does not do any correlation with installed packages which is the gap this
script aims to fill.
With "lintpkgsrc -or && pkg_distinst --delete" you can and up with a fairly