summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-12-30 17:36:49 +0000
committerKarl Berry <karl@freefriends.org>2007-12-30 17:36:49 +0000
commit7632b341a7efc029d661a6943e292d1ec815f32d (patch)
tree93fcf7e21e96332b39b889e41aa5e33200cf8910
parent0f45410db5918815e3aea7b4be26d5330119f3b0 (diff)
proofs nonfree
git-svn-id: svn://tug.org/texlive/trunk@5999 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/tlpkg/bin/ctan2tds1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds
index e6c723ff888..76566a16de1 100755
--- a/Master/tlpkg/bin/ctan2tds
+++ b/Master/tlpkg/bin/ctan2tds
@@ -267,6 +267,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw
'poster', "die 'skipping, nonfree license'",
'powerdot', '&MAKEflatten',
'probsoln', '&MAKEflatten',
+ 'proofs', "die 'skipping, nosell license'",
'prosper', '&MAKEflatten',
'ps4pdf', "die 'skipping, obsolete'",
'psfragx', "&MAKEflatten",