[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5082-g69502733

[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  69502733ae7a66878810ae1e24b5ced9a5b9698c (commit)
      from  96ef35cd988c8967755da4a19daadaffe90d27fb (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=69502733ae7a66878810ae1e24b5ced9a5b9698c

commit 69502733ae7a66878810ae1e24b5ced9a5b9698c
Author: Antonio Giovanni Colombo <azc100@gmail.com>
Date:   Fri Dec 2 07:34:47 2022 +0100

    MPFR updates

diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index 5e691257..a85d6cf6 100755
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,7 @@
+2022-12-02         Antonio Giovanni Colombo   <azc100@gmail.com>
+
+       * gawktexi.in: Updated.
+
 2022-12-01         Antonio Giovanni Colombo   <azc100@gmail.com>
 
        * gawktexi.in: Updated.
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in
index d481ed70..74fd7c23 100755
--- a/doc/it/gawktexi.in
+++ b/doc/it/gawktexi.in
@@ -33264,11 +33264,7 @@ 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, sistemi macOS su hardware
-Intel,@footnote{Per ragioni spiegate nel file
-@file{README_d/README.macosx}, @command{gawk} @`e sempre generato come
-un eseguibile in architettura Intel, anche sui sistemi con architettura
-M1.}
+GNU/Linux, Cygwin, Solaris 2.11, sistemi macOS su hardware Intel,
 FreeBSD 13.1 e OpenBSD 7.1.
 Su tutti gli altri sistemi, la memoria persistente @`e disabilitata
 per default.  Si pu@`o chiedere di abilitarla esportando la
@@ -33391,11 +33387,9 @@ usarla in tutte le esecuzioni successive.
 Analogamente, se non si usa l'opzione @option{-M} nella prima esecuzione
 non va usata in alcuna esecuzione successiva.
 
-Mischiare esecuzioni che usano la libreria MPFR con esecuzioni che non
-la usano, utilizzando lo stesso file di memoria persistente produrr@`a
-risultati inattesi e/o errori fatali.
-@command{gawk} non rileva una tale situazione, e non @`e detto che lo
-far@`a in qualche versione futura.
+Non @`e consentito alternare esecuzioni che usano la libreria MPFR con
+esecuzioni che non la usano.  Se @command{gawk} rileva questa
+situazione, termina l'esecuzione con un errore fatale.
 
 Inoltre, il filesystem CIFS in ambiente GNU/Linux risulta non
 funzionare bene con l'allocatore PMA.

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

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


hooks/post-receive
-- 
gawk