diff options
author | Karl Berry <karl@freefriends.org> | 2007-12-30 17:36:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2007-12-30 17:36:49 +0000 |
commit | 7632b341a7efc029d661a6943e292d1ec815f32d (patch) | |
tree | 93fcf7e21e96332b39b889e41aa5e33200cf8910 | |
parent | 0f45410db5918815e3aea7b4be26d5330119f3b0 (diff) |
proofs nonfree
git-svn-id: svn://tug.org/texlive/trunk@5999 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 1 |
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", |