diff options
| -rwxr-xr-x | doc/it/gawktexi.in | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/doc/it/gawktexi.in b/doc/it/gawktexi.in index 9f1edf38..e8038d1b 100755 --- a/doc/it/gawktexi.in +++ b/doc/it/gawktexi.in @@ -5145,10 +5145,9 @@ di scrivere righe di comando complesse e tediose. In particolare, @code{@@include} @`e molto utile per scrivere @dfn{script} CGI eseguibili da pagine web. -Come @`e stato detto in @ref{AWKPATH (Variabile)}, i file sorgenti vengono -sempre cercati nella directory corrente, prima di eseguire la ricerca in -@env{AWKPATH}; questo si applica anche ai file indicati con -@code{@@include}. +Le regole usate per trovare un file sorgente, descritte in +@ref{AWKPATH (Variabile)}, valgono anche per i file +caricati tramite @code{@@include}. @node Caricare librerie condivise @section Caricare librerie condivise nel proprio programma |