diff options
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
| -rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo index 834ccaa257b..7f1fcf906ec 100755 --- a/Master/tlpkg/bin/tlpkginfo +++ b/Master/tlpkg/bin/tlpkginfo @@ -275,6 +275,9 @@ sub tlpsrc_find_catalogue { } chomp (my $cat = `awk '\$1 == "catalogue" {print \$2}' $tlpsrc`); + if ($cat =~ /\./) { + warn "$0: $tlpsrc catalogue value should not contain a period: $cat\n"; + } return $cat; } |