On Mon, 9 Sep 2019 at 17:18, Arnaud Charlet <char...@adacore.com> wrote:
>
> > > Just installed the following change on trunk, thanks again for your
> > > feedback!
> > >
> > > 2019-09-05 Arnaud Charlet <char...@adacore.com>
> > >
> > > * doc/install.texi: Update and clarify requirements to build GNAT.
> > >
> > Hi Arnaud,
> >
> > It seems there's a problem with this patch:
> > /snapshots/gcc.git~master/gcc/doc/install.texi:2730: @ref reference to
> > nonexistent node `GNAT-prerequisite'
> > Makefile:3300: recipe for target
> > '/builds/armv8l-unknown-linux-gnueabihf/armv8l-unknown-linux-gnueabihf/gcc.git~master-stage2/gcc/HTML/gcc-10.0.0/gccinstall/index.html'
> > failed
>
> Hmm strange, the ref should be there:
>
Indeed, that's what I thought too
> > > -@item GNAT
> > > +@item @anchor{GNAT-prerequisite}GNAT
>
> which "make" target is failing for you?
My log says:
make: *** [do-install-html] Error 2
> I guess the HTML generation is not handling the above anchor properly,
> although
> it's not the first such use of @anchor{}.
>
> Generating install.info certainly works fine and generates the proper xref.
>
Maybe a problem with makeinfo version?
> Arno
