On Thu, 23 May 2013 16:08:35 +0200, Albert ARIBAUD
<[email protected]> 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.
_______________________________________________
U-Boot mailing list
[email protected]
http://lists.denx.de/mailman/listinfo/u-boot

Reply via email to