The MIPS back end has an option -mno-float that is supported by 
bare-metal configs using the SDE library.  However, this option is not 
properly documented in the manual, and MIPS_ARCH_FLOAT_SPEC doesn't know 
about it as one of the explicit floating-point configuration changes 
that should override architecture defaults.  This patch addresses both 
problems.  OK to commit?

-Sandra


2012-07-30  Sandra Loosemore  <sandra@codesourcery.com>
	    Julian Brown  <julian@codesourcery.com>

	gcc/
	* doc/invoke.texi (MIPS Options): Document -mno-float.
	* config/mips/mips.h (MIPS_ARCH_FLOAT_SPEC): Make it know
	about -mno-float.