> > Just installed the following change on trunk, thanks again for your
> > feedback!
> >
> > 2019-09-05 Arnaud Charlet <[email protected]>
> >
> > * 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:
> > -@item GNAT
> > +@item @anchor{GNAT-prerequisite}GNAT
which "make" target is failing for you?
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.
Arno
