diff options
| author | Karl Berry <karl@freefriends.org> | 2016-06-30 17:06:32 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2016-06-30 17:06:32 +0000 |
| commit | f49dd37a814dff02b0392e062a34fdf846653396 (patch) | |
| tree | 1abb027a9992f00f1cb62ebca2f1138bc7569d56 /Master/tlpkg/bin/tlpkginfo | |
| parent | 6843121ffff5ce4fc990de49d1479d709991c65d (diff) | |
no .xml in tlpsrc catalogue values
git-svn-id: svn://tug.org/texlive/trunk@41578 c570f23f-e606-0410-a88d-b1316a301751
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; } |