[m-rev.] for review: Add a note about bootstrapping to the bottom of the downloads page.

[Julien Fischer]

On Wed, Apr 17, 2013 at 12:18 PM, Paul Bone <paul at bone.id.au> wrote:

> This now reads as follows, could you check that this is okay?
>
> +<p>
> +Note that you need Mercury installed in order to build Mercury from git.
> +In other words,
> +you must bootstrap using one of the source distributions above.
> +When building the latest revision from git,
> +you should use the most recent ROTD source distribution;
> +while older ROTDs may work, there is no guarantee that they will.
> +Generally you should bootstrap using an ROTD that approximately matches the
> +age of the git revision that you want to build.
> +See
> +<a href="https://github.com/Mercury-Language/mercury/blob/master/README.bootstrap">
> +README.bootstrap</a> for more details.
> +</p>

That looks fine.

Cheer,s
Julien.