On Mon, 30 Jan 2017, Thomas Preudhomme wrote:
ARM backend now support a new set of multilib libraries enabled with --with-multilib-list=rmprofile [1]. This patch documents it in the changes for GCC 7.
I will admit that even following this list, I had to look up what this really referred to. ;-) And once I found the documentation, I figured I could as well provide a reference for others (since most consumers of our release notes will be even farther away than me). Below is the patch I applied. Gerald Index: changes.html =================================================================== RCS file: /cvs/gcc/wwwdocs/htdocs/gcc-7/changes.html,v retrieving revision 1.53 diff -u -r1.53 changes.html --- changes.html 1 Feb 2017 19:05:53 -0000 1.53 +++ changes.html 1 Feb 2017 19:20:18 -0000 @@ -778,7 +778,9 @@ <li> The configure option <code>--with-multilib-list</code> now accepts the value <code>rmprofile</code> to build multilib libraries for a range of - embedded targets. + embedded targets. See our + <a href="https://gcc.gnu.org/install/configure.html">installation + instructions</a> for details. </li> </ul>