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

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