[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4851-g26434aa7

[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, feature/docit has been updated
       via  26434aa7a729b79e7a98327473d9973d1f22bd2c (commit)
      from  4b1b9a159a1661ba399a642af72ad6f41eaca7d3 (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=26434aa7a729b79e7a98327473d9973d1f22bd2c

commit 26434aa7a729b79e7a98327473d9973d1f22bd2c
Author: Antonio Giovanni Colombo <azc100@gmail.com>
Date:   Thu Aug 11 08:38:09 2022 +0200

    persistent memory saves functions as well

diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index 539f64c1..a246bdd2 100644
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,7 @@
+2022-08-11         Antonio Giovanni Colombo   <azc100@gmail.com>
+
+       * gawktexi.in: Updated.
+
 2022-08-08         Antonio Giovanni Colombo   <azc100@gmail.com>
 
        * gawktexi.in: Updated.
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in
index 4f036d62..471ff914 100755
--- a/doc/it/gawktexi.in
+++ b/doc/it/gawktexi.in
@@ -32787,8 +32787,9 @@ successive esecuzioni.
 
 @`E interessante notare che il programma @command{gawk} che viene
 eseguito non @`e necessariamente lo stesso da un'esecuzione alla
-successiva; i dati persistenti sono solo i valori delle variabili e
-dei vettori, non l'intera situazione interna del programma @command{gawk}.
+successiva; i dati persistenti sono solo i valori delle variabili,
+dei vettori e delle funzioni definite dall'utente,
+non l'intera situazione interna del programma @command{gawk}.
 Ci@`o consente di condividere dei dati fra programmi indipendenti l'uno
 dall'altro, eliminando la necessit@`a dei diversi programmi di comunicare
 fra loro utilizzando dei file di testo.
@@ -32929,6 +32930,9 @@ all'utente di usare in alternativa la variabile
 @env{GAWK_PERSIST_FILE}.  Tranne che in questo paragrafo, tale opzione
 @`e assolutamente non documentata.
 
+Il prototipo supportava solo la persistenza dei dati; non supportava
+la persistenza delle funzioni definite dall'utente.
+
 Come notato pi@`u sopra, il supporto per la memoria persistente
 @`e @emph{sperimentale}.
 Se diventa troppo impegnativo,@footnote{Nel senso di generare troppe

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

Summary of changes:
 doc/it/ChangeLog   | 4 ++++
 doc/it/gawktexi.in | 8 ++++++--
 2 files changed, 10 insertions(+), 2 deletions(-)


hooks/post-receive
-- 
gawk