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 9950698b85e..6c546f86c21 100755 --- a/Build/tools/tpm-ctan-check +++ b/Build/tools/tpm-ctan-check @@ -67,7 +67,7 @@ my @WorkingTPM = qw( glossaries gmdoc gmeometric gmiflink gmutils gmverb gnuplottex gost graphics graphicx-psmin greenpoint - grnumalt GuIT + grnumalt gu GuIT HA-prosper hands harmony hepthesis hepunits hhtensor histogr hitec hrlatex hvfloat hyperref hyperxmp hyphen-base hyphen-basque |