Re: [PHP-DOC] What is this zend.api problem?

2001-11-23 Thread Marco Cucinato
> Try 'rm configure; autoconf; ./configure'. Worked for me. Thans, it worked! -- Marco Cucinato

Re: [PHP-DOC] What is this zend.api problem?

2001-11-22 Thread Gabor Hojtsy
> Try 'rm configure; autoconf; ./configure'. Worked for me. autoconf is enough alone before ./configure The reson to do is that the configure.in script changed, and you need a fresh localized copy of configure, which is generated by autoconf for you. Goba

Re: [PHP-DOC] What is this zend.api problem?

2001-11-22 Thread Lars Torben Wilson
Marco Cucinato writes: > Hello, > since last week I get this error: > > [marco@tux phpdoc]$ make test > > touch .manual.xml > CONFIG_FILES=manual.xml CONFIG_HEADERS= ./config.status > creating manual.xml > nsgmls -i lang-it -s ./

[PHP-DOC] What is this zend.api problem?

2001-11-22 Thread Marco Cucinato
Hello, since last week I get this error: [marco@tux phpdoc]$ make test touch .manual.xml CONFIG_FILES=manual.xml CONFIG_HEADERS= ./config.status creating manual.xml nsgmls -i lang-it -s ./phpdocxml.dcl manual.xml nsgmls:manual.x