diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2020-01-01 22:33:30 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-01-01 22:33:30 +0200 |
| commit | d0b68138521e670178068999dc308ce5beace7ef (patch) | |
| tree | 72f464684c33b11a86b5401cc74550f6dad7c62f | |
| parent | 3611609a48ea18cebb51a195bc32f7dbb7209d6e (diff) | |
| parent | ca715d7d87dc4ab351af07fc9eac0e848866f6a7 (diff) | |
| download | egawk-d0b68138521e670178068999dc308ce5beace7ef.tar.gz egawk-d0b68138521e670178068999dc308ce5beace7ef.tar.bz2 egawk-d0b68138521e670178068999dc308ce5beace7ef.zip | |
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/gawk
| -rw-r--r-- | doc/it/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/it/gawktexi.in | 18 |
2 files changed, 22 insertions, 0 deletions
diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog index 5b6cb620..044351de 100644 --- a/doc/it/ChangeLog +++ b/doc/it/ChangeLog @@ -1,3 +1,7 @@ +2019-12-21 Antonio Giovanni Colombo <azc100@gmail.com> + + * gawktexi.in: Updated. + 2019-11-04 Antonio Giovanni Colombo <azc100@gmail.com> * gawktexi.in: Updated. diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in index e4c4516e..88b69781 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: |