diff options
| -rw-r--r-- | doc/it/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/it/gawktexi.in | 10 |
2 files changed, 13 insertions, 1 deletions
diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog index a57f66d5..cfe13e13 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 6a91bb42..641fcfc2 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 |