(root)/

gawk-5.2.2/

doc/

it/

Permissions	Size	Name
drwxr-xr-x	78	..
-rw-r--r--	15066	ChangeLog
-rw-r--r--	1303	README.txt
-rw-r--r--	15358	api-figura1.eps
-rw-r--r--	1677	api-figura1.fig
-rw-r--r--	9120	api-figura1.pdf
-rw-r--r--	5747	api-figura1.png
-rw-r--r--	1160	api-figura1.txt
-rw-r--r--	14788	api-figura2.eps
-rw-r--r--	1002	api-figura2.fig
-rw-r--r--	11596	api-figura2.pdf
-rw-r--r--	5768	api-figura2.png
-rw-r--r--	614	api-figura2.txt
-rw-r--r--	14989	api-figura3.eps
-rw-r--r--	1146	api-figura3.fig
-rw-r--r--	11914	api-figura3.pdf
-rw-r--r--	5734	api-figura3.png
-rw-r--r--	638	api-figura3.txt
-rwxr-xr-x	392	compila_originale.sh
-rwxr-xr-x	266	compila_pma.sh
-rwxr-xr-x	563	compila_smallprint.sh
-rw-r--r--	27123	epsf.tex
-rw-r--r--	18961	flusso-elaborazione.eps
-rw-r--r--	1263	flusso-elaborazione.fig
-rw-r--r--	9672	flusso-elaborazione.pdf
-rw-r--r--	6300	flusso-elaborazione.png
-rw-r--r--	516	flusso-elaborazione.txt
-rw-r--r--	71460	gawk.1
-rw-r--r--	2012429	gawktexi.in
-rwxr-xr-x	17173	gendocs.sh
-rwxr-xr-x	3814	gendocs_template
-rwxr-xr-x	357	genera_formati.sh
-rw-r--r--	295	lflashlight-small.xpic
-rw-r--r--	4081	lflashlight.eps
-rw-r--r--	922	lflashlight.pdf
-rw-r--r--	125	margini.texi
-rw-r--r--	5881	pm-gawk.1
-rw-r--r--	78795	pm-gawk.texi
-rw-r--r--	8019	programma-generico.eps
-rw-r--r--	733	programma-generico.fig
-rw-r--r--	5313	programma-generico.pdf
-rw-r--r--	4151	programma-generico.png
-rw-r--r--	181	programma-generico.txt
-rw-r--r--	359	rflashlight-small.xpic
-rw-r--r--	4125	rflashlight.eps
-rw-r--r--	929	rflashlight.pdf
-rw-r--r--	1919	sidebar.awk
-rw-r--r--	374242	texinfo.tex
-rw-r--r--	2791	txi-it.tex
-rw-r--r--	4046	vettore-elementi.eps
-rw-r--r--	913	vettore-elementi.fig
-rw-r--r--	7009	vettore-elementi.pdf
-rw-r--r--	1032	vettore-elementi.png
-rw-r--r--	192	vettore-elementi.txt