diff options
Diffstat (limited to 'ctan2tds-config.pl')
-rw-r--r-- | ctan2tds-config.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ctan2tds-config.pl b/ctan2tds-config.pl index 8f24cbdd..737a6125 100644 --- a/ctan2tds-config.pl +++ b/ctan2tds-config.pl @@ -13,4 +13,4 @@ $special{'lucold'} = '&MAKEflatten'; $special{'futurans'} = '&donormal'; $special{'pcarl'} = '&donormal'; $special{'mathstone'} = '&MAKEflatten'; - +$special{'spark-otf'} = '&MAKEflatten'; |