Index of /tex-archive/web/spiderweb/src/awk

	Name	Last modified	Size	Description
	Parent Directory		-
	awk.spider	1993-04-04 02:00	4.9K
	make	1988-09-28 01:00	114
	tangle.c	1993-04-04 02:00	42K