summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/c2lx
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/c2lx')
-rwxr-xr-xMaster/tlpkg/bin/c2lx2
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"