Ok, correct. A clean checkout fixes the problem. May others learn from my mistake in the archives ;)

Thanks!

-lucas

On Aug 20, 2008, at 12:50 AM, Antony Dovgal wrote:

On 20.08.2008 11:32, Lucas Nealan wrote:
Hello,
I'm trying to make some documentation changes and I've run into a problem with configure.php parsing manual.xml. Here's the output that I get when running php configure.php:

Works fine here.
Please make sure you have a clean checkout of phpdoc/.

--
Wbr, Antony Dovgal

Reply via email to