summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2007-07-12 00:00:11 +0000
committerKarl Berry <karl@freefriends.org>2007-07-12 00:00:11 +0000
commitde912e5e12b690efe8304a19315d3b6fc3f8b1c1 (patch)
tree2420b2d0048a9e370cea23b8228731c81cc1e36c /Build
parent7bf56e6bfcd7b204b3507dc9acaaaa3dce2cbcdb (diff)
new latex package synproof (9jun07)
git-svn-id: svn://tug.org/texlive/trunk@4562 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-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