diff options
| author | tnn <tnn> | 2009-01-06 16:40:19 +0000 |
|---|---|---|
| committer | tnn <tnn> | 2009-01-06 16:40:19 +0000 |
| commit | cce8cd50706b5aa0d456cfcd6b82ddb92a5c9eaa (patch) | |
| tree | 02aba88dcc499868167627350ef61df1175c06c7 /pkgtools | |
| parent | 8a770cf64fcc1dd766bac961e1b3c784d6c1da40 (diff) | |
| download | pkgsrc-cce8cd50706b5aa0d456cfcd6b82ddb92a5c9eaa.tar.gz | |
fix typos
Diffstat (limited to 'pkgtools')
| -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 |