diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-12-23 02:14:41 -0700 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-12-23 02:14:41 -0700 |
| commit | ca715d7d87dc4ab351af07fc9eac0e848866f6a7 (patch) | |
| tree | f817ab0f669ba9028a1ada82e5d266c9d68cfd68 /doc | |
| parent | 2e428edc2cff833784ab9970f0f59a8c639a57e3 (diff) | |
| download | egawk-ca715d7d87dc4ab351af07fc9eac0e848866f6a7.tar.gz egawk-ca715d7d87dc4ab351af07fc9eac0e848866f6a7.tar.bz2 egawk-ca715d7d87dc4ab351af07fc9eac0e848866f6a7.zip | |
Update Italian translation.
Diffstat (limited to 'doc')
| -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: |