summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-xMaster/tlpkg/bin/ctan2tds1
-rwxr-xr-xMaster/tlpkg/bin/ctan2tl2
2 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds
index e4e89fee2b4..91e3b6f25fc 100755
--- a/Master/tlpkg/bin/ctan2tds
+++ b/Master/tlpkg/bin/ctan2tds
@@ -402,6 +402,7 @@ chdir $startdir || die "chdir($startdir) failed: $!"; # back to raw
'wordcount', "&MAKEwordcount",
'xbase', "&MAKEnosymlinks",
'xfor', "&MAKEflatten",
+ 'xecyr', "&MAKEcopy",
'xfrac', "&MAKEflatten",
'xkeyval', "&MAKExkeyval",
'xmltex', "&MAKExmltex",
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl
index 6f37ceb1038..83e49e833aa 100755
--- a/Master/tlpkg/bin/ctan2tl
+++ b/Master/tlpkg/bin/ctan2tl
@@ -59,7 +59,7 @@ fi
echo "$0: ctan dir for $pkg"
echo "$0: is $ctan_dir1"
-if grep " $pkg " $mydir/tlpkg-ctan-check >/dev/null; then :; else
+if egrep " $pkg"'( |$)' $mydir/tlpkg-ctan-check >/dev/null; then :; else
echo
echo "$0: $pkg not in $mydir/tlpkg-ctan-check, add?"
fi