diff options
author | tnn <tnn@pkgsrc.org> | 2009-01-06 16:40:19 +0000 |
---|---|---|
committer | tnn <tnn@pkgsrc.org> | 2009-01-06 16:40:19 +0000 |
commit | b04755a864cb488225cf6c061250cdda12eeb845 (patch) | |
tree | 02aba88dcc499868167627350ef61df1175c06c7 /pkgtools/pkg_distinst | |
parent | c500d6c9280877200731bd15c2865b38e5174506 (diff) | |
download | pkgsrc-b04755a864cb488225cf6c061250cdda12eeb845.tar.gz |
fix typos
Diffstat (limited to 'pkgtools/pkg_distinst')
-rw-r--r-- | pkgtools/pkg_distinst/DESCR | 2 |
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 |