diff options
| author | Antonio Giovanni Colombo <azc100@gmail.com> | 2020-08-16 21:23:50 +0200 |
|---|---|---|
| committer | Antonio Giovanni Colombo <azc100@gmail.com> | 2020-08-16 21:23:50 +0200 |
| commit | 65cb5e20a94c407eab227bbfe78bac5f86d9d808 (patch) | |
| tree | fd325819a6e01cf8d31ae4bcb8d623cdfce3cc3d | |
| parent | 325058f0f647cb1bfdbde1f30ee1427c461fcd0d (diff) | |
| download | egawk-65cb5e20a94c407eab227bbfe78bac5f86d9d808.tar.gz egawk-65cb5e20a94c407eab227bbfe78bac5f86d9d808.tar.bz2 egawk-65cb5e20a94c407eab227bbfe78bac5f86d9d808.zip | |
Added mention to the way function are listed
| -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 |