This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [PATCH, ADA, DOC] PR 15479: Crossrefs and links

> Well, maybe, but the filename needs to be embedded (with @setfilename)
> in the input file of makeinfo already, so they really are related.

Right, and as I said, removing the setfilename instructions is fine.

> Alright.  I think the patch below does what you want.
> 
> Tested 'make info pdf dvi'.  OK for trunk?  What about 4.3?

OK for trunk, and OK on principle for 4.3. I do not know if you need an OK
from a release manager as well for 4.3.

Thanks for your work and iterations.

Arno
Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]