gawk-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4095-g8776110


From: Antonio Giovanni Colombo
Subject: [SCM] gawk branch, feature/docit, updated. gawk-4.1.0-4095-g8776110
Date: Sun, 16 Aug 2020 15:26:31 -0400 (EDT)

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  87761102eb08df817871b17f56041428e88efb12 (commit)
       via  65cb5e20a94c407eab227bbfe78bac5f86d9d808 (commit)
      from  af190c94590e340fcb5918a6ebd245169d5f1000 (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=87761102eb08df817871b17f56041428e88efb12

commit 87761102eb08df817871b17f56041428e88efb12
Merge: 65cb5e2 af190c9
Author: Antonio Giovanni Colombo <azc100@gmail.com>
Date:   Sun Aug 16 21:25:30 2020 +0200

    Merge branch 'feature/docit' of ssh://git.sv.gnu.org/srv/git/gawk into 
feature/docit


http://git.sv.gnu.org/cgit/gawk.git/commit/?id=65cb5e20a94c407eab227bbfe78bac5f86d9d808

commit 65cb5e20a94c407eab227bbfe78bac5f86d9d808
Author: Antonio Giovanni Colombo <azc100@gmail.com>
Date:   Sun Aug 16 21:23:50 2020 +0200

    Added mention to the way function are listed

diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog
index a57f66d..cfe13e1 100644
--- a/doc/it/ChangeLog
+++ b/doc/it/ChangeLog
@@ -1,3 +1,7 @@
+2020-08-16         Antonio Giovanni Colombo   <azc100@gmail.com>
+
+       * gawktexi.in: Updated.
+
 2020-07-29         Antonio Giovanni Colombo   <azc100@gmail.com>
 
        * compila_originale.sh: fixed permission.
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in
index 6a91bb4..641fcfc 100644
--- a/doc/it/gawktexi.in
+++ b/doc/it/gawktexi.in
@@ -56,7 +56,7 @@
 @c applies to and all the info about who's publishing this edition
 
 @c These apply across the board.
-@set UPDATE-MONTH Luglio 2020
+@set UPDATE-MONTH Agosto 2020
 @set VERSION 5.1
 @set PATCHLEVEL 0
 
@@ -31162,6 +31162,14 @@ davanti alle regole @code{BEGIN} ed @code{END},
 alle regole @code{BEGINFILE} ed @code{ENDFILE},
 alle regole criterio_di_ricerca--azione e alle funzioni.
 
+@item
+Le funzioni sono elencate in ordine alfabetico.  Per prime sono elencate
+in ordine alfabetico le funzioni che appartengono allo spazio-dei-nomi
+@code{awk}.  Poi sono elencate le funzioni contenute negli altri
+spazi-dei-nomi.  Ogni spazio-dei-nomi è elencato in ordine alfabetico
+e le funzioni in esso contenute sono anch'esse elencate in ordine
+alfabetico.
+
 @end itemize
 
 La versione profilata del proprio programma potrebbe non apparire esattamente

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

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


hooks/post-receive
-- 
gawk



reply via email to

[Prev in Thread] Current Thread [Next in Thread]