[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-5050-gf665eec4

[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  f665eec43644fa47f4318d7ecd886da4bcd05d90 (commit)
      from  3db3c3695e9a9de4b15ba76267fe4d466340ac8e (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=f665eec43644fa47f4318d7ecd886da4bcd05d90

commit f665eec43644fa47f4318d7ecd886da4bcd05d90
Author: Antonio Giovanni Colombo <azc100@gmail.com>
Date:   Fri Nov 18 11:27:23 2022 +0100

    Update for CIFS filesystem warning

diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index f9296756..91ab8425 100755
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,8 @@
+2022-11-18         Antonio Giovanni Colombo   <azc100@gmail.com>
+
+       * gawktexi.in: Updated.
+       * pm-gawk.1: Updated.
+
 2022-11-13         Antonio Giovanni Colombo   <azc100@gmail.com>
 
        * gawktexi.in: Updated.
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in
index 5d875005..22806c57 100755
--- a/doc/it/gawktexi.in
+++ b/doc/it/gawktexi.in
@@ -33251,7 +33251,7 @@ in @command{gawk} in questo modo:
 
 @example
 $ @kbd{gawk --version}
-@print{} GNU Awk 5.2.0, API 3.2, PMA Avon 7, (GNU MPFR 4.0.1, GNU MP 6.1.2)
+@print{} GNU Awk 5.2.1, API 3.2, PMA Avon 8-g1, (GNU MPFR 4.1.0, GNU MP 6.2.1)
 @print{} Copyright (C) 1989, 1991-2022 Free Software Foundation.
 @dots{}
 @end example
@@ -33395,6 +33395,11 @@ 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.
+
+Inoltre, il filesystem CIFS in ambiente GNU/Linux risulta non
+funzionare bene con l'allocatore PMA.
+Quindi, non va usato un file di appoggio per la memoria persistente
+residente su un filesystem CIFS.
 @end quotation
 
 Terence Kelly ha preparato un documento a parte, dedicato alla
@@ -37186,7 +37191,7 @@ Si pu@`o verificare se il supporto a MPFR @`e 
disponibile in questo modo:
 
 @example
 $ @kbd{gawk --version}
-@print{} GNU Awk 5.2.0, API 3.2, PMA Avon 7, (GNU MPFR 4.0.1, GNU MP 6.1.2)
+@print{} GNU Awk 5.2.1, API 3.2, PMA Avon 8-g1, (GNU MPFR 4.1.0, GNU MP 6.2.1)
 @print{} Copyright (C) 1989, 1991-2022 Free Software Foundation.
 @dots{}
 @end example
diff --git a/doc/it/pm-gawk.1 b/doc/it/pm-gawk.1
old mode 100644
new mode 100755
index 631bad47..5e40f1d3
--- a/doc/it/pm-gawk.1
+++ b/doc/it/pm-gawk.1
@@ -2,7 +2,7 @@
 .\"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
 .ds PM \fIManuale utente funzionalità Memoria Persistente in gawk\fP
-.TH PM-GAWK 1 "14 agosto 2022" "Free Software Foundation" "Comandi di utilità "
+.TH PM-GAWK 1 "17 novembre 2022" "Free Software Foundation" "Comandi di 
utilità "
 .SH NOME
 gawk con memoria persistente \- dati e funzioni persistenti
 .SH SINTASSI
@@ -165,6 +165,11 @@ con memoria persistente è stata sviluppata da
 Haris Volos, Zi Fan Tan e Jianan Li
 a partire da una diramazione della distribuzione sorgente di
 .I gawk .
+.SH AVVERTIMENTI
+Il filesysten CIFS in ambiente GNU/Linux crea dei problemi
+all'allocatore di memoria persistente. Evitare quindi di
+usare un file di appoggio che risieda su un tale filesystem con
+.IR pm-gawk .
 .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   | 5 +++++
 doc/it/gawktexi.in | 9 +++++++--
 doc/it/pm-gawk.1   | 7 ++++++-
 3 files changed, 18 insertions(+), 3 deletions(-)
 mode change 100644 => 100755 doc/it/pm-gawk.1


hooks/post-receive
-- 
gawk