GCC documentation for MULTILIB_EXCEPTIONS states that ARM processors cannot use 
hardware floating-point in Thumb execution state. This is incorrect since 
ARMv7E-M processors can do just that. This patch replace this example with the 
case of the meaningless -mfloat-abi=soft -mfpu=* combination of options. 
MULTILIB_EXCEPTIONS was indeed use to exclude such a case in 
config/arm/t-aprofile until patches preceding this one.

ChangeLog entry is as follows:


*** gcc/ChangeLog ***

2016-08-02  Thomas Preud'homme  <thomas.preudhomme@arm.com>

         * doc/fragments.texi (MULTILIB_EXCEPTIONS): Replace example with
         preventing combination of -mfloat-abi=soft with any -mfpu option.


gccint.pdf builds fine with the patch and display is as expected.

Is this ok for trunk?

Best regards,

Thomas