[SCM] gawk branch, master, updated. gawk-4.1.0-5925-gb18b7292

[Antonio Giovanni Colombo]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "gawk".

The branch, master has been updated
       via  b18b729227f22c50a20d65143b48c538101ee883 (commit)
      from  875bf44a3b9ad49aac0111494f867668f0b621b4 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
http://git.sv.gnu.org/cgit/gawk.git/commit/?id=b18b729227f22c50a20d65143b48c538101ee883

commit b18b729227f22c50a20d65143b48c538101ee883
Author: Antonio Giovanni Colombo <azc100@gmail.com>
Date:   Tue Jun 24 16:23:44 2025 +0200

    Updates to use of persistent memory with extensions

diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index 0f34a260..2cc49166 100644
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,9 @@
+2025-06-24         Antonio Giovanni Colombo   <azc100@gmail.com>
+
+       * gawk.1: Updated.
+       * gawk.texi: Updated.
+       * pm-gawk.1: Updated.
+
 2025-05-28         Antonio Giovanni Colombo   <azc100@gmail.com>
 
        * gawk.1: Updated.
diff --git a/doc/it/gawk.1 b/doc/it/gawk.1
index 1ca2a868..24d1b83b 100644
--- a/doc/it/gawk.1
+++ b/doc/it/gawk.1
@@ -32,6 +32,7 @@
 .\"Aggiornamento a gawk-5.3.1 di A.G. Colombo - Febbraio 2025
 .\"Aggiornamento a gawk-5.3.2 di A.G. Colombo - Febbraio 2025
 .\"Aggiornamento a gawk-5.3.2 di A.G. Colombo - Marzo    2025
+.\"Aggiornamento a gawk-5.3.2 di A.G. Colombo - Giugno   2025
 
 .ds PX \s-1POSIX\s+1
 .ds UX \s-1UNIX\s+1
@@ -50,7 +51,7 @@
 .              ds rq ''
 .      \}
 .\}
-.TH GAWK 1 "22 Maggio 2025" "Free Software Foundation" "Comandi di utilità "
+.TH GAWK 1 "1 Giugno 2025" "Free Software Foundation" "Comandi di utilità "
 .SH NOME
 gawk \- linguaggio per il riconoscimento e il trattamento di espressioni
 regolari
@@ -2296,8 +2297,6 @@ in esecuzione tramite l'istruzione
 Una descrizione dettagliata non è possibile in questa pagina di manuale;
 vedere [in inglese]
 .IR 
https://www.gnu.org/software/gawk/manual/html_node/Dynamic-Extensions.html#Dynamic-Extensions
 .
-Si noti che non è possibile, se si sta usando la memoria persistente,
-utilizzare estensioni caricate dinamicamente.
 .SH SEGNALI
 Il profilo
 .I gawk
diff --git a/doc/it/gawk.texi b/doc/it/gawk.texi
index 9ff1b1cd..766b778f 100644
--- a/doc/it/gawk.texi
+++ b/doc/it/gawk.texi
@@ -56,7 +56,7 @@
 @c applies to and all the info about who's publishing this edition
 
 @c These apply across the board.
-@set UPDATE-MONTH Maggio 2025
+@set UPDATE-MONTH Giugno 2025
 @set VERSION 5.3
 @set PATCHLEVEL 2
 
@@ -34572,17 +34572,22 @@ pu@`o aver bisogno, prima che il file di appoggio si 
riempia
 completamente.
 
 @item
-Non @`e permesso usare estensioni caricate dinamicamente
+@`E possibile usare usare estensioni caricate dinamicamente
 @iftex
 (@pxrefil{Estensioni dinamiche})
 @end iftex
 @ifnottex
 (@pxref{Estensioni dinamiche})
 @end ifnottex
-se si sta usando la memoria persistente.  Se si tenta di
-farlo, @command{gawk} emette un messaggio di errore fatale
-ed esce.  @`E poco probabile che si riesca a rimuovere in futuro
-questa limitazione.
+mentre si sta usando la memoria persistente.
+Tuttavia, @command{gawk} controlla se un'estensione sia stata caricata da un
+percorso differente rispetto alla volta precedente, e in tal caso
+emette un messaggio di errore fatale ed esce.
+
+@item
+@command{gawk} manda un messaggio di avviso se la versione corrente
+di @command{gawk} non @`e la stessa che era stata usata la prima volta
+per un particolare file d'appoggio.
 @end itemize
 
 Terence Kelly ha preparato un documento a parte, dedicato alla
diff --git a/doc/it/pm-gawk.1 b/doc/it/pm-gawk.1
index d6fc2671..e360c537 100644
--- a/doc/it/pm-gawk.1
+++ b/doc/it/pm-gawk.1
@@ -1,8 +1,9 @@
 .ds EP \fIGAWK: Programmare efficacemente in AWK\fP
-.\"Traduzione per la versione gawk-5.2.0 di A.G. Colombo - 12 Agosto 2022
-.\"Aggiornamento per la versione gawk-5.2.0 di A.G. Colombo - 14 Agosto 2022
+.\"Traduzione per la versione gawk-5.2.0 di A.G. Colombo - 12 agosto 2022
+.\"Aggiornamento per la versione gawk-5.2.0 di A.G. Colombo - 14 agosto 2022
+.\"Aggiornamento per la versione gawk-5.3.2 di A.G. Colombo - 24 giugno 2025
 .ds PM \fIManuale utente funzionalità Memoria Persistente in gawk\fP
-.TH PM-GAWK 1 "22 maggio 2025" "Free Software Foundation" "Comandi di utilità "
+.TH PM-GAWK 1 "1 giugno 2025" "Free Software Foundation" "Comandi di utilità "
 .SH NOME
 gawk con memoria persistente \- dati e funzioni persistenti
 .SH SINTASSI
@@ -171,9 +172,11 @@ all'allocatore di memoria persistente. Evitare quindi di
 usare un file di appoggio che risieda su un tale filesystem con
 .IR pm-gawk .
 .PP
-Non è permesso usare la memoria persistente, nel caso si vogliano
-anche utilizzare delle funzioni di estensione caricate dinamicamente.
-È poco probabile che si riesca a rimuovere in futuro questa limitazione.
+.I pm-gawk
+emette un messagio di avviso se la versione corrente di
+.I gawk
+non è la stessa che è stata usata la prima volta per un
+particolare file di appoggio.
 .SH SEGNALAZIONE DI ERRORI
 Seguire le procedure descritte in \*(EP e in \*(PM.
 Se si ritiene che gli errori siano legati alla

-----------------------------------------------------------------------

Summary of changes:
 doc/it/ChangeLog |  6 ++++++
 doc/it/gawk.1    |  5 ++---
 doc/it/gawk.texi | 17 +++++++++++------
 doc/it/pm-gawk.1 | 15 +++++++++------
 4 files changed, 28 insertions(+), 15 deletions(-)


hooks/post-receive
-- 
gawk