Index of /people/pao/tex/make-index

	Name	Last modified	Size	Description
	Parent Directory		-
	make-index.sty	1992-09-02 12:02	2.0K
	make-index.pl	1992-09-02 12:02	7.8K
	make-index.doc	1992-09-02 12:02	8.9K
	index.see-also	1992-09-02 12:02	4.7K
	handey.idx	1992-09-02 12:02	1.0K