diff options
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/tools/tpm-ctan-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/tools/tpm-ctan-check b/Build/tools/tpm-ctan-check index dd583946b1c..823461636fb 100755 --- a/Build/tools/tpm-ctan-check +++ b/Build/tools/tpm-ctan-check @@ -46,7 +46,7 @@ sub main everypage examdesign exercise exteps extpfeil faktor fancyhdr fancynum fax featpost fixme flagderiv flippdf floatflt floatrow flowfram - fltpoint fmtcount fncychap fontch fontspec forloop formular + fltpoint fmtcount fncychap foekfont fontch fontspec forloop formular fourier free-math-font-survey frenchle galois genmisc genmpage glossary gnuplottex gost graphics graphicx-psmin grnumalt |