diff options
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 1 | ||||
-rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 2 |
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 |