> -Original Message-
> From: Richard Biener
> Sent: Tuesday, April 15, 2025 13:10
> To: gcc-patches@gcc.gnu.org
> Cc: Jakub Jelinek ; rdub...@symas.com
> Subject: [PATCH] cobol/119302 - transform gcobol.3 name during install,
> install as gcobol-io.3
>
> The following installs gcobol.3 as
On Sat, 15 Mar 2025, Richard Biener wrote:
>
> I do wonder, since gcobol.3 documents parts of the libgcobol API(?),
> whether it should be named libgcobol.3 instead though?
Ping?
> OK?
>
> Thanks,
> Richard.
>
> PR cobol/119302
> gcc/cobol/
> * Make-lang.in: Use $(GCOBOL_INSTALL_
