diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-07 19:55:34 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-07 19:55:34 +0000 |
commit | e8e42065b3d5c8007da7c14ca4dcacb7c079566e (patch) | |
tree | ac02521de780b30f0117d08ae39c84d6c90aa501 /Master/tlpkg/bin | |
parent | 21b648ddfb450fcb1e247f40a87105ba33002091 (diff) |
proof-at-the-end (7may19)
git-svn-id: svn://tug.org/texlive/trunk@51039 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index ec68eed5377..20fd6e3a7d6 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -541,7 +541,8 @@ my @TLP_working = qw( ppr-prv pracjourn preprint prerex present presentations presentations-en pressrelease prettyref preview prftree printlen proba probsoln procIAGssymp prodint productbox program - progress progressbar proofread prooftrees proposal properties + progress progressbar + proof-at-the-end proofread prooftrees proposal properties prosper protex protocol prtec przechlewski-book psbao pseudocode psfrag psfrag-italian psfragx psgo psizzl pslatex psnfss pspicture |