summaryrefslogtreecommitdiff
path: root/Build/cdbuild/ctan2tds.pl
diff options
context:
space:
mode:
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-xBuild/cdbuild/ctan2tds.pl2
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