Re: [PHP-DOC] suspend pdf-target

[Gabor Hojtsy]

> at the moment the pdf's could not be generated. Therefore the make target
> 'extra-mirror-files' does really nothing expect wasting time.
> I suggest to suspend this useless target, I myself don't know how to, because
> I guess this must be done on the build machine.

The makefile can be modified to do some simple and fast thing for that make target... :) Its a quicker fix then waiting for someone from the systems@ team to disable that.

Goba



--
PHP Documentation Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php