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]

Reply via email to