Re: suspend pdf-target

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