diff options
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index 028cb9ca936..c33f3464284 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -3196,31 +3196,31 @@ sub MAKEcjk_common sub MAKEcjk { &MAKEcjk_common (); - require "/home/karl/c/cjk.pl"; + #require "/home/karl/c/cjk.pl"; } sub MAKEbin_cjkutils { &MAKEcjk_common (); - require "/home/karl/c/bin-cjkutils.pl"; + #require "/home/karl/c/bin-cjkutils.pl"; } sub MAKEc90enc { &MAKEcjk_common (); - require "/home/karl/c/c90enc.pl"; + #require "/home/karl/c/c90enc.pl"; } sub MAKEgaruda { &MAKEcjk_common (); - require "/home/karl/c/garuda.pl"; + #require "/home/karl/c/garuda.pl"; } sub MAKEnorasi { &MAKEcjk_common (); - require "/home/karl/c/norasi.pl"; + #require "/home/karl/c/norasi.pl"; } sub MAKEkarlcjk |