diff options
Diffstat (limited to 'Master/tlpkg/libexec/ctan2tds')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 7050fd4448f..dd5c248d94e 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -930,6 +930,7 @@ chomp ($Build = `cd $Master/../Build/source && pwd`); 'pst-pulley', "&MAKEpst", 'pst-qtree', "&MAKEpst", 'pst-rubans', "&MAKEpst", + 'pst-shell', "&MAKEpst", 'pst-sigsys', "&MAKEpst", 'pst-slpe', "&MAKEpst", 'pst-solarsystem', "&MAKEpst", |