summaryrefslogtreecommitdiff
path: root/Build/tools
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools')
-rwxr-xr-xBuild/tools/tpm-ctan-check3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/tools/tpm-ctan-check b/Build/tools/tpm-ctan-check
index da857aa9468..6d81e13b33f 100755
--- a/Build/tools/tpm-ctan-check
+++ b/Build/tools/tpm-ctan-check
@@ -124,7 +124,8 @@ my @WorkingTPM = qw(
textcase textfit textopo textpath textpos thesis-titlepage-fhac
thumb thumbpdf ticket titlefoot titlesec titling tocbibind
tocloft todo tokenizer toolbox tools totpages tracking
- trajan trfsigns trsym tugboat tugboat-plain twoup Type1fonts
+ trajan trfsigns trivfloat
+ trsym tugboat tugboat-plain twoup Type1fonts
typedref typogrid
ucthesis uhrzeit uiucthesis ulsy umich-thesis uml umlaute
umthesis underlin undertilde units unitsdef upquote ushort