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

[Paul Bone]

On Wed, Apr 17, 2013 at 11:59:34AM +1000, Julien Fischer wrote:
> On Wed, Apr 17, 2013 at 11:56 AM, Paul Bone <paul at bone.id.au> wrote:
> > Add a note about bootstrapping to the bottom of the
> >
> > include/download.inc:
> >     As above.
> > ---
> >  include/download.inc | 10 ++++++++++
> >  1 file changed, 10 insertions(+)
> >
> > diff --git a/include/download.inc b/include/download.inc
> > index a4c751a..a4d894d 100644
> > --- a/include/download.inc
> > +++ b/include/download.inc
> > @@ -90,3 +90,13 @@ via github at
> >  https://github.com/Mercury-Language</a>.
> >  </p>
> >
> > +<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,
> > +usually a recent release of the day is required for compatibility.
> 
> I would change the last bit to say that if you building the latest
> revision from git
> you should use the latest version of the source distribution; while
> older unstable
> rotds may work, there is no guarantee that they will.
> 

Thanks Julien.

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>


-- 
Paul Bone
http://www.bone.id.au