FYI, I just did:
bash-2.05b# rm -r /local/repository/phpdoc/ja /local/repository/phpdoc/kr

on y1, at Nuno/Philip's request -- these old directories were
conflicting with the phpdoc-ja, phpdoc-kr modules.

S

Reply via email to