> > > 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
Allright, there are already similar kludges elsewhere, so I've applied the following patch which fixes it: 2019-09-10 Arnaud Charlet <char...@adacore.com> * doc/install.texi: Fix syntax for html generation. Index: doc/install.texi =================================================================== --- doc/install.texi (revision 275400) +++ doc/install.texi (working copy) @@ -2727,7 +2727,12 @@ @section Building the Ada compiler -See @ref{GNAT-prerequisite}. +@ifnothtml +@ref{GNAT-prerequisite}. +@end ifnothtml +@ifhtml +@uref{GNAT-prerequisite}. +@end ifhtml @section Building with profile feedback I've verified that the do-install-html and do-install-info targets are now happy with the change. Arno