[patch]: PR/39518 missing documentation of cygwin/mingw target options

[Hans-Peter Nilsson]

On Mon, 23 Mar 2009, Dave Korn wrote:
>   CAUTION UNTESTED.  I don't have an up-to-date trunk build around at the
> moment, so I haven't run "make info" on this yet, it needs verification before
> any of it gets installed.

I'll take the opportunity to be a busybody and point out that
"make info dvi" <http://gcc.gnu.org/contribute.html#docchanges>
is the required test.

(Statistically, someone is bound to miss that any time now
again, while making a subtle markup error.)

brgds, H-P