From 4ecda23c200ea6f80c197b16c00bf91ca91a9dae Mon Sep 17 00:00:00 2001 From: Antonio Giovanni Colombo Date: Sun, 22 May 2022 09:27:28 +0200 Subject: update to gawktexi.in --- doc/it/ChangeLog | 4 ++++ doc/it/gawktexi.in | 3 +++ 2 files changed, 7 insertions(+) diff --git a/doc/it/ChangeLog b/doc/it/ChangeLog index 4fb08855..d4489360 100644 --- a/doc/it/ChangeLog +++ b/doc/it/ChangeLog @@ -1,3 +1,7 @@ +2022-05-22 Antonio Giovanni Colombo + + * gawktexi.in: Updated. + 2022-05-11 Antonio Giovanni Colombo * gawktexi.in: Updated. diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in index 1628fa45..0fd31b51 100755 --- a/doc/it/gawktexi.in +++ b/doc/it/gawktexi.in @@ -47242,6 +47242,9 @@ Wikipedia} su @command{awk} per informazioni su ulteriori versioni. Un'interessante raccolta di funzioni di libreria @`e disponibile sul sito @uref{https://github.com/e36freak/awk-libs}. +Un'interessante raccolta di estensioni per @command{gawk} @`e disponibile sul sito +@uref{https://github.com/su8/gawk-extensions}. + @node Sommario dell'installazione @appendixsec Sommario -- cgit v1.2.1