[PATCH] manual Makefile

[Steve Munroe]

Ulrich Drepper wrote:

> Steven Munroe wrote:
> > The manual/texis file is generated during make and is created directly
> > into the libc/manual directory.
>
> That is intended.

Yes but causing simultaneous independent makes to fail is not intended? 

This patch does not change the final location of the texis file. But it 
does guarantee that texis.T does exist for the mv -f in each make.

I normally build both --enable-add-ons=linuxthreads and 
--enable-add-ons=nptl PPC64 configurations in separate build directories. 
I may build PPC32 nptl as well. Since I am running on an i890 iSeries 
partition, 2 or 3 concurrent "make -j8"s is wonderful productivity aid.