diff options
author | Karl Berry <karl@freefriends.org> | 2013-07-15 22:44:48 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-07-15 22:44:48 +0000 |
commit | ea497ad98690cb661179e6acaafc0f7a82b926a5 (patch) | |
tree | 0d40b308037b8ad4944a47d236a93aec71553df5 /Master/tlpkg/bin | |
parent | a17cdad50631e2002b1909a145475c3d61004e40 (diff) |
pstricks (15jul13)
git-svn-id: svn://tug.org/texlive/trunk@31201 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 75fbcd0a1c0..a985ede1803 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -758,6 +758,9 @@ sub do_tlp { # Wrong README gets compared. next if $basefile eq "README" && $file =~ m,/(pmx|cs)/,; + # We install our own stub, not ConTeXt's. I guess. + next if $basefile eq "mptopdf.exe"; + my $tl_file = "$Master/$file"; if (! -e $tl_file) { warn "$tl_file: TL file missing\n"; |