diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 3 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/2up.tlpsrc | 2 |
2 files changed, 4 insertions, 1 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; } diff --git a/Master/tlpkg/tlpsrc/2up.tlpsrc b/Master/tlpkg/tlpsrc/2up.tlpsrc index 60fc1d534e7..f14225174a7 100644 --- a/Master/tlpkg/tlpsrc/2up.tlpsrc +++ b/Master/tlpkg/tlpsrc/2up.tlpsrc @@ -1 +1 @@ -catalogue twoup-gen.xml +catalogue twoup-gen |