PATCH for Re: Solaris installation notes

[Eric Botcazou]

> Somehow this stalled again, without a final patch.

Right, I'm not in position to write patches for the time being.  Thanks for
taking care of the problem.

> How about the following?
>
> 2004-08-06  Gerald Pfeifer  <gerald@pfeifer.com>
>       Dimitri Papadopoulos-Orfanos  <papadopo@shfj.cea.fr>
>       Dave Korn  <dk@artimi.com>
>
>   * doc/install.texi (Building): Avoid duplicate reference to GNU
>   make requirement.
>   (*-*-solaris2*): Do not recommend GNU make any longer.  Simplify.

Looks fine.  But it needs to be backported all the way down to the 3.3
branch, where the latter reference to GNU make must *not* be removed.

--
Eric Botcazou