summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tlpkginfo
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
-rwxr-xr-xMaster/tlpkg/bin/tlpkginfo3
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;
}