Jordan K. Hubbard eb0eafb6b1 This is Jean-Marc Zucconi's makeindex port. ... Submitted by: jmz		1994-10-12 02:58:10 +00:00
..
configure	This is Jean-Marc Zucconi's makeindex port.	1994-10-12 02:58:10 +00:00