On Thu, 23 May 2013 16:08:35 +0200, Albert ARIBAUD <albert.u.boot@xxxxxxxxxxx> wrote: > Since a git comment is there for a reason, which includes helping its > readers understand the commit, I consider "ARMv7-AR Reference Manual" > to help them much more than 'ARM ARM', as it points them unambiguously > to the document by stating the exact title under which it is listed in > the ARM information center, but I am ok with 'ARMv7-AR Architecture > Reference Manual' as this how its title goes. Just to clarify: yes, the document is listed (on the left, in the docs tree as "ARMv7-AR Reference Manual", and yes, its title is 'ARMv7-AR Architecture Reference Manual'. That is not a mistake apparently, or it was a duly repeated one for all ARM architecture reference manuals on the Information Center. Amicalement, -- Albert. _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/cucslists/listinfo/kvmarm
