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

2024-02-27 Thread 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

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

2024-02-22 Thread Richard Earnshaw (lists)
On 21/02/2024 18:38, Evgeny Karpov 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

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

2024-02-21 Thread Evgeny Karpov
From 7d27cda54a56e93ba63c5cf4d47e5c865bdae525 Mon Sep 17 00:00:00 2001 From: Zac Walker Date: Tue, 20 Feb 2024 15:45:53 +0100 Subject: [PATCH v1 10/13] Rename "x86 Windows Options" to "Cygwin and MinGW Options" Rename "x86 Windows Options" to "Cygwin and M