summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-05-07 19:55:34 +0000
committerKarl Berry <karl@freefriends.org>2019-05-07 19:55:34 +0000
commite8e42065b3d5c8007da7c14ca4dcacb7c079566e (patch)
treeac02521de780b30f0117d08ae39c84d6c90aa501 /Master/tlpkg
parent21b648ddfb450fcb1e247f40a87105ba33002091 (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')
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check3
-rw-r--r--Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/proof-at-the-end.tlpsrc0
3 files changed, 3 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
diff --git a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
index 694e9f8127b..adc5ec05e74 100644
--- a/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-mathscience.tlpsrc
@@ -134,6 +134,7 @@ depend pm-isomath
depend polexpr
depend prftree
depend proba
+depend proof-at-the-end
depend prooftrees
depend pseudocode
depend pythonhighlight
diff --git a/Master/tlpkg/tlpsrc/proof-at-the-end.tlpsrc b/Master/tlpkg/tlpsrc/proof-at-the-end.tlpsrc
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/proof-at-the-end.tlpsrc