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 912f10c7718..e431a9c0585 100755 --- a/Build/tools/tpm-ctan-check +++ b/Build/tools/tpm-ctan-check @@ -65,7 +65,7 @@ my @WorkingTPM = qw( gmiflink gmutils gmverb gnuplottex gost graphics graphicx-psmin greenpoint grnumalt GuIT - HA-prosper hands harmony hepthesis hhtensor histogr hitec + HA-prosper hands harmony hepthesis hepunits hhtensor histogr hitec hrlatex hvfloat hyperref hyperxmp hyphen-base hyphen-basque hyphen-french hyphen-german |