diff options
Diffstat (limited to 'Master/tlpkg/bin/c2lx')
-rwxr-xr-x | Master/tlpkg/bin/c2lx | 2 |
1 files changed, 1 insertions, 1 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" |