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

[Dave Korn]

Hans-Peter Nilsson wrote:
> 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.

  Ooops, mea culpa, I casually wrote shorthand there.  In fact I generally
actually make as many of "info dvi html pdf" as are supported by the relevant
source tree when I'm doing docs patches myself.

  Kai, can you confirm for H-P that you've run the "make dvi" target?

    cheers,
      DaveK