Index of /tex-archive/web/spiderweb/tools/excerpt

	Name	Last modified	Size
	Parent Directory		-
	excerpt	1991-01-13 17:00	1.1K
	excerpt.doc	1988-07-20 18:00	1.3K
	filesplit.web	1988-03-12 17:00	4.3K
	section.c	1991-01-13 17:00	1.6K