summaryrefslogtreecommitdiff
path: root/Master/tlpkg/libexec/ctan2tds
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds1
1 files changed, 0 insertions, 1 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index 9a48492adcd..762a6bea697 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -754,7 +754,6 @@ chomp ($Build = `cd $Master/../Build/source && pwd`);
'preview-latex',"die 'skipping, use preview'",
'progkeys', "die 'skipping, noinfo license, author unfindable'",
'proofs', "die 'skipping, nosell license'",
- 'proposal', "die 'skipping, requires stex, sorry'",
'prosper', "&MAKEflatten",
'ps2eps', "die 'skipping, must go into sources'",
'ps4pdf', "die 'skipping, obsolete'",