Re: [PATCH] DocBook: don't compress mandocs

[Sam Ravnborg <sam@ravnborg.org>]

On Fri, Aug 08, 2008 at 09:47:24AM +0200, Bastian Blank wrote:
> The mandocs target uses gzip to compress the resulting manpages. If this
> target runs more than once (using make -jX) at the same time, gzip may
> run more then once with the same set of files. It just bails out if it
> is not able to find a file because a concurrent run already removed it.
> 
> Fix this by removing the gzip call and only work with uncompressed
> manpages.

If it failded with gzip being run more than once before this
patch does not solve the bug - it simply makes it harder to trigger.

Anything that does not work with a make -j100 build is broken.
And please understand that we have people that uses "make -j100" when building
the kernel.

These people most likely does not do "make mandocs" but we should still fix
the bug and not try to paper it over in this way.

So try to analyse why we in the first place will run gzip in parallele and solve that.

	Sam