diff options
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/c2lx | 2 | ||||
-rwxr-xr-x | Master/tlpkg/bin/tlpkg-ctan-check | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/c2lx b/Master/tlpkg/bin/c2lx index 7f4cfb0194c..7c6fb30a9e0 100755 --- a/Master/tlpkg/bin/c2lx +++ b/Master/tlpkg/bin/c2lx @@ -33,7 +33,7 @@ elif test "x$1" = xdeng; then elif test "x$1" = xjxu; then shift; label=jxu pkgs="beaulivre colorist einfart lebhart mindflow minimalist simplivre" - pkgs="$pkgs create-theorem projlib" + pkgs="$pkgs create-theorem crefthe projlib" elif test "x$1" = xqyi; then shift; label=qyi pkgs="easybook spbmark" diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check index 3cca29aaa1b..23b1d0db57e 100755 --- a/Master/tlpkg/bin/tlpkg-ctan-check +++ b/Master/tlpkg/bin/tlpkg-ctan-check @@ -637,7 +637,7 @@ my @TLP_working = qw( ppr-prv pracjourn practicalreports prelim2e preprint prerex present pressrelease prettyref preview prftree - principia printlen proba probsoln procIAGssymp + principia printlen proba probsoln prociagssymp prodint productbox profcollege proflabo proflycee program progress progressbar projlib proof-at-the-end proofread prooftrees proposal properties |