diff options
Diffstat (limited to 'Build/tools')
-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 f369a451852..8b31efc1060 100755 --- a/Build/tools/tpm-ctan-check +++ b/Build/tools/tpm-ctan-check @@ -65,7 +65,7 @@ sub main lshort-slovak lshort-spanish lshort-thai lshort-ukrainian lshort-vietnamese ltabptch ltxmisc - makecell makeplot marginnote mathdots mathmode mcaption mdwtools + mafr makecell makeplot marginnote mathdots mathmode mcaption mdwtools memoir mentis metauml mfpic mhchem minipage-marginpar minitoc microtype minitoc mla-paper moderncv movie15 munich muthesis |