[SCM] gawk branch, master, updated. gawk-4.1.0-3861-gca715d7

[Arnold Robbins]

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  ca715d7d87dc4ab351af07fc9eac0e848866f6a7 (commit)
      from  2e428edc2cff833784ab9970f0f59a8c639a57e3 (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=ca715d7d87dc4ab351af07fc9eac0e848866f6a7

commit ca715d7d87dc4ab351af07fc9eac0e848866f6a7
Author: Arnold D. Robbins <address@hidden>
Date:   Mon Dec 23 02:14:41 2019 -0700

    Update Italian translation.

diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index 5b6cb62..044351d 100644
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,7 @@
+2019-12-21         Antonio Giovanni Colombo   <address@hidden>
+
+       * gawktexi.in: Updated.
+
 2019-11-04         Antonio Giovanni Colombo   <address@hidden>
 
        * gawktexi.in: Updated.
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in
index e4c4516..88b6978 100644
--- a/doc/it/gawktexi.in
+++ b/doc/it/gawktexi.in
@@ -286,6 +286,12 @@ Some comments on the layout for TeX.
 @finalout
 @end iftex
 
+@c Enabled '-quotes in PDF files so that cut/paste works in
+@c more places.
+
+@codequoteundirected on
+@codequotebacktick on
+
 @copying
 @docbook
 <para>
@@ -40346,6 +40352,18 @@ if (contents == "" && ERRNO != "") @{
 @node Esempio di estensione Time
 @subsection Funzioni dell'estensione time
 
+@quotation ATTENZIONE
+A partire da @command{gawk} @value{PVERSION} 5.1.0, quest'estensione @`e
+da considerarsi obsoleta.  @`E sostituita dall'estensione
+@code{timex} in @code{gawkextlib} (@pxref{gawkextlib}).
+
+Nella @value{PVERSION} 5.1, non viene emesso alcun messaggio di avviso
+se si usa quest'estensione.
+A partire dalla prossima versione principale, verr@`a emesso un messaggio
+di avviso.  Nella versione successiva a quella, quest'estensione sar@`a
+rimossa dalla distribuzione.
+@end quotation
+
 L'estensione @code{time} aggiunge due funzioni, di nome
 @code{gettimeofday()} e @code{sleep()}, come segue:
 

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

Summary of changes:
 doc/it/ChangeLog   |  4 ++++
 doc/it/gawktexi.in | 18 ++++++++++++++++++
 2 files changed, 22 insertions(+)


hooks/post-receive
-- 
gawk