This is the mail archive of the
gdb-patches@sources.redhat.com
mailing list for the GDB project.
Re: [RFA]: Turn on Ada support
Eli,
> > > > +The type of the @t{'Address} attribute may not be @t{System.Address}.
> > >
> > > I think you should use @code instead of @t in this and similar cases.
> >
> > Umph. The problem is that @code{'Address} generates `'Address' in Info files,
> > which looks odd.
>
> That's true, but isn't that a problem in all Ada-related
> documentation?
Not quite sure of your point here. In info files, just plain
'Address, without bracketing quotation marks, seems (to me anyway) to
work just fine. It also seems readable in the TeX version (moreso,
due to the change in font). Yeah, I know that @code is the right mark
to use, semantically speaking, but this seems to be one of those
awkward cases where aesthetics conflict with strict correctness.
Paul Hilfinger