I applied the small patch on top of this, mostly triggered by the
markup issue.
Let me know if there is anything you'd like to see differently; I
am thinking to push back to GCC 4.9 as well later.
Gerald
2014-06-30 Gerald Pfeifer<gerald@pfeifer.com>
* doc/install.texi (Specific, aarch64*-*-*): Fix markup. Reword a bit.
Index: doc/install.texi
===================================================================
--- doc/install.texi (revision 212139)
+++ doc/install.texi (working copy)
@@ -3760,9 +3760,9 @@
@end html
@anchor{aarch64-x-x}
@heading aarch64*-*-*
-Pre 2.24 binutils does not have support for selecting -mabi and does not
-support ILP32. If GCC 4.9 or later is built with pre 2.24, GCC will not
-support option -mabi=ilp32.
+Binutils pre 2.24 does not have support for selecting @option{-mabi} and
+does not support ILP32. If it is used to build GCC 4.9 or later, GCC will
+not support option @option{-mabi=ilp32}.
@html
<hr />