adjust installation docs to discourage installing GMP, MPFR and MPC separately

[Jonathan Wakely]

On 12 February 2012 23:43, Gerald Pfeifer wrote:
> On Sat, 21 Jan 2012, Jonathan Wakely wrote:
>>> My 2c - I heartily recommend this patch.
>> Thanks. I'm a bit surprised noone else has commented - I hoped this
>> would be a no-brainer, or at least get some constructive feedback for
>> further improvement.
>
> One reason surely is that the diffs for changes like this look
> a lot more frightening than the actual changes are. :-)
>
>> I recently added http://gcc.gnu.org/wiki/InstallingGCC
>
> That does indicate a problem, if our primary documentation is
> not suitable for beginners as well.  Do you see any chance to
> merge the two and account for the use case you are addressing
> with the new document as part of doc/install.texi and its
> associated web pages?

The wiki has several advantages, including that it's MUCH easier to
make small improvements to without waiting weeks for review, and the
less-official wiki docs can more easily refer to e.g. "For
Debian-based systems, including Ubuntu" where the main docs seem to
avoid referring to specific systems or vendors (though maybe that's
just my perception.)

That wiki page is far less formal in style than the main docs, which
has both pros and cons.