diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 30f7b751658..9c2bd8a8ea2 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -534,6 +534,7 @@ $standardfmt='latex'; 'arev', 'fonts', 'arrayjob', 'generic', 'aurical', 'fonts', + 'automata', 'metapost', 'ascii', 'fonts', 'babel', 'generic', 'beamer-tut-pt','portuguese', @@ -954,6 +955,7 @@ $standarddvi='NULL'; # let's try relying on authors uploading pdf's. # packages which need special MetaPost files $standardmp='\.mp$'; %specialmp= ( + 'automata', 'automata.mp', # skip example.mp 'feynmp', 'feynmp.mp', 'latexmp', 'latexmp.mp', 'mpattern', 'mpattern.mp', # don't install test.mp |