diff options
Diffstat (limited to 'Build/cdbuild/ctan2tds.pl')
| -rwxr-xr-x | Build/cdbuild/ctan2tds.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/cdbuild/ctan2tds.pl b/Build/cdbuild/ctan2tds.pl index 928efbd2a40..1c9e6646e7e 100755 --- a/Build/cdbuild/ctan2tds.pl +++ b/Build/cdbuild/ctan2tds.pl @@ -491,6 +491,7 @@ $standarddocfmt='latex'; 'lettre', 'NULL', 'localloc', 'localloc.dtx', 'makecell', 'makecell.dtx', + 'minitoc', 'NULL', # takes forever, and files are pregenerated 'paper', 'install.02', 'parrun', 'parrun.ins', 'stmaryrd', 'stmaryrd.dtx', @@ -560,7 +561,7 @@ $standardtex='\.cfg|\.sty|\.clo|\.ldf|\.cls|\.def|\.fd$'; 'mff', '\.sty|mf[^f].*\.tex', 'mfpic', 'mfpic.tex', 'mh', '\.sty|\.cls|\.fix', - 'minitoc', '\.sty|\.mld', + 'minitoc', "\.ml[do]|$standardtex", 'misc', '\.sty|\.ltx|\.cls', 'nag', '\.nag', 'ntheorem', '\.sty|\.std', |