summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-06-24 16:44:48 +0000
committerKarl Berry <karl@freefriends.org>2008-06-24 16:44:48 +0000
commit5b301db3bcc95ab74daa289778bc516421554070 (patch)
tree07a6a3816419cd7881bb44cbefac6674c1a455b0 /Master
parentcfff10ee7499ca70f649dfa88e936ea68ab10d07 (diff)
consistency checks
git-svn-id: svn://tug.org/texlive/trunk@8978 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/tlpkg/bin/check-wrapper-consistency2
-rw-r--r--Master/tlpkg/tlpsrc/context.tlpsrc2
-rw-r--r--Master/tlpkg/tlpsrc/pgf.tlpsrc1
3 files changed, 1 insertions, 4 deletions
diff --git a/Master/tlpkg/bin/check-wrapper-consistency b/Master/tlpkg/bin/check-wrapper-consistency
index 10082236f31..2f403673152 100755
--- a/Master/tlpkg/bin/check-wrapper-consistency
+++ b/Master/tlpkg/bin/check-wrapper-consistency
@@ -100,7 +100,7 @@ sub check_w32
for my $k (sort keys %uw) {
#print "$k -> $uw{$k}\n";
my $target = $uw{$k};
- next if $k eq /context/; # has its own .cmd file
+ next if $k eq "context"; # has its own .cmd file
next if $target =~ /dviasm|ebong/; # no .bat for python
next if $target =~ /ps4pdf/; # has its own .bat
next if $target =~ /simpdftex/; # shell script
diff --git a/Master/tlpkg/tlpsrc/context.tlpsrc b/Master/tlpkg/tlpsrc/context.tlpsrc
index 3c7e94a3b0e..e8e76fa6ec8 100644
--- a/Master/tlpkg/tlpsrc/context.tlpsrc
+++ b/Master/tlpkg/tlpsrc/context.tlpsrc
@@ -5,5 +5,3 @@ runpattern +d texmf-dist/context/data
runpattern +d texmf-dist/fonts/misc/cid/fontforge
runpattern +!d texmf-dist/tex/context/third
runpattern +!d texmf-dist/tex/context/pgf
-docpattern +!d texmf-dist/doc/context/third
-docpattern +!d texmf-dist/doc/context/pgf
diff --git a/Master/tlpkg/tlpsrc/pgf.tlpsrc b/Master/tlpkg/tlpsrc/pgf.tlpsrc
index 33a1d12b1fd..a17345642af 100644
--- a/Master/tlpkg/tlpsrc/pgf.tlpsrc
+++ b/Master/tlpkg/tlpsrc/pgf.tlpsrc
@@ -1,3 +1,2 @@
name pgf
category Package
-runpattern +!d texmf-dist/tex/context/pgf