summaryrefslogtreecommitdiff
path: root/Build/tools
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools')
-rwxr-xr-xBuild/tools/tpm-ctan-check2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/tools/tpm-ctan-check b/Build/tools/tpm-ctan-check
index b24e5b22985..a41e51779a8 100755
--- a/Build/tools/tpm-ctan-check
+++ b/Build/tools/tpm-ctan-check
@@ -117,7 +117,7 @@ my @WorkingTPM = qw(
ssqquote stack stage stdclsdv stdpage stellenbosch struktex
sttools subeqn subeqnarray subfig subfigure subfloat substr sudoku
sudokubundle sugconf supertabular svgcolor svn svn-multi svninfo
- swebib syntax syntrace synttree
+ swebib syntax synproof syntrace synttree
t-angles Tabbing tableaux tabulary tabvar talk tamethebeast
tengwarscript tensor teubner tex-gyre texilikecover texmate
texpower texshade