Hi. At Mon, 8 Aug 2005 09:16:18 +0200, [EMAIL PROTECTED] wrote: > > ID: 34031 > Updated by: [EMAIL PROTECTED] > Reported By: [EMAIL PROTECTED] > -Status: Open > +Status: Bogus > Bug Type: Documentation problem > Operating System: Irrelevant > PHP Version: Irrelevant > New Comment: > > Don't file bugs about this, reply to the email. I see.
> And for some strange reason the ja/ directory was indeed not updated. Curious. Could you try the following procedures? 1. once remove ja/ . $ rm -r phpdoc/ja 2. checkout phpdoc-ja-dir again. $ cd phpdoc $ cvs -d:pserver:[EMAIL PROTECTED]:/repository co phpdoc-ja-dir -- TAKAGI Masahiro mailto:[EMAIL PROTECTED]