[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4936-gebf5e417

[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  ebf5e4175f2450d974039a565fa8e56fb8b7e8a5 (commit)
      from  35bb96b3a0d5e777714acc691e73e4c89c5920a3 (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=ebf5e4175f2450d974039a565fa8e56fb8b7e8a5

commit ebf5e4175f2450d974039a565fa8e56fb8b7e8a5
Author: Antonio Giovanni Colombo <azc100@gmail.com>
Date:   Mon Sep 26 21:11:31 2022 +0200

    note about further tests of Persistent Memory

diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index 3dbab2de..b989825a 100755
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,7 @@
+2022-09-26         Antonio Giovanni Colombo   <azc100@gmail.com>
+
+       * gawktexi.in: Updated.
+
 2022-09-22         Antonio Giovanni Colombo   <azc100@gmail.com>
 
        * gawktexi.in: Updated.
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in
index fa031208..9fa18bbb 100755
--- a/doc/it/gawktexi.in
+++ b/doc/it/gawktexi.in
@@ -33155,11 +33155,19 @@ $ @kbd{gawk --version}
 Se @`e presente la stringa @samp{PMA} con un indicatore di versione, allora
 la memoria persistente @`e supportata.
 
+@cindex @env{REALLY_USE_PERSIST_MALLOC} (variabile d'ambiente)
+@cindex variabili d'ambiente @subentry @env{REALLY_USE_PERSIST_MALLOC}
 Finora la memoria persistente @`e stata testata solo nei sistemi operativi
 GNU/Linux, Cygwin, Solaris 2.11, Mac OS, FreeBSD 13.1 e OpenBSD 7.1.
-In altri sistemi operativi, la situazione pu@`o essere diversa, e potrebbero
-essere necessarie ulteriori indagini prima di utilizzare questa
-funzionalit@`a.
+
+Su tutti gli altri sistemi, la memoria persistente @`e disabilitata
+per default.  Si pu@`o chiedere di abilitarla esportando la
+variabile d'ambiente @env{REALLY_USE_PERSIST_MALLOC} con un
+valore diverso dalla stringa nulla, prima di eseguire
+@command{configure}
+(@pxref{Installazione veloce}).
+Se lo fate, e tutti i test passano senza errori, siete pregati
+di informare il manutentore di @command{gawk}.
 
 Per usare la memoria persistente, seguire questa procedura:
 

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

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


hooks/post-receive
-- 
gawk