diff options
Diffstat (limited to 'Build/cdbuild')
| -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 100a477fba5..cd7c75de79a 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -508,6 +508,7 @@ $standardfmt='latex'; 'cursolatex', 'portuguese', 'devanagr', 'fonts', 'dictsym', 'fonts', + 'doublestroke','fonts', 'economic', 'bibtex', 'edmac', 'generic', 'elhyphen', 'generic', |