Re: New role=man for manpages :]

From: Date: Mon, 18 Apr 2011 16:05:51 +0000
Subject: Re: New role=man for manpages :]
References: 1 2  Groups: php.pear.dev 
Request: Send a blank email to pear-dev+get-54222@lists.php.net to get a copy of this message
On Mon, Apr 18, 2011 at 17:45, Martin Jansen <martin@divbyzero.net> wrote: > On 18.04.11 12:53, Hannes Magnusson wrote: >> +        $config->set('man_dir', $with_dir $ds . 'local' . $ds . >> 'man', 'default'); >                                   ^^^^^^^^^^^^^ >                                 Parse error in here. Yeah.. had already noticed and fixed locally :) Thanks for the headsup though :) -Hannes

« previous php.pear.dev (#54222) next »