diff options
Diffstat (limited to 'Master')
| -rwxr-xr-x | Master/tlpkg/bin/check-collection-coverage (renamed from Master/tlpkg/bin/check-tlpdb-coverage) | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/check-tlpdb-coverage b/Master/tlpkg/bin/check-collection-coverage index 8e177fa0c4e..a00aac3a2c1 100755 --- a/Master/tlpkg/bin/check-tlpdb-coverage +++ b/Master/tlpkg/bin/check-collection-coverage @@ -1,5 +1,5 @@ #!/usr/bin/env perl -# $Id: check-tlpdb-coverage 0 2007-10-14 20:32:44Z karl $ +# $Id: check-collection-coverage 0 2007-10-14 20:32:44Z karl $ # Copyright 2007 Norbert Preining # This file is licensed under the GNU General Public License version 2 # or any later version. @@ -82,11 +82,11 @@ __END__ =head1 NAME -check-tlpdb-coverage - check that all packages are contained in some collection +check-collection-coverage - check that all packages are contained in some collection =head1 SYNOPSIS -check-tlpdb-coverage +check-collection-coverage =head1 OPTIONS |