diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
-rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index a36c9051e46..71e28254f52 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -143,6 +143,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; 'edmac', "warn \"skipping edmac, needs work (unzip xx)\n\"", 'ednotes', "&MAKEnosymlinks", 'elhyphen', "&MAKEelhyphen", + 'epigrafica', "&MAKEflatten", 'epiolmec', "&MAKEflatten", 'epix', "warn \"skipping epix, needs C++\n\"", 'eplain', "&MAKEcopy", |