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, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index 18f357bdeac..eecb14edf83 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -1075,6 +1075,7 @@ chomp (my $ctan_root = `tlpkginfo --ctan-root`);
'presentations', "die 'skipping, author request'",
'presentations-en', "die 'skipping, author request'",
'preview-latex', "die 'skipping, use preview'",
+ 'procIAGssymp',"die 'skipping, use prociagssymp'",
'profcollege', "&MAKEflatten",
'proflabo', "&MAKEflatten",
'proflycee', "&MAKEflatten",