[PATCH v1 10/13] Rename "x86 Windows Options" to "Cygwin and MinGW Options"

[Evgeny Karpov]

@xref{Cygwin and MinGW Options} re-direct from "x86 Windows Options" will be 
added in v2. Thanks!

Regards,
Evgeny


-----Original Message-----
Thursday, February 22, 2024 2:32 PM 
Richard Earnshaw (lists) wrote:

For this change you might want to put some form of re-direct in the manual 
under the old name so that anybody used to looking for the old entry will know 
where things have been moved to.  Something like

x86 Windows Options
  See xref(Cygwin and MinGW Options).

R.