hubertf 5f5c04f636 remove unused args from main(), as per PR#5867		1998-09-11 13:16:05 +00:00
..
Makefile	…
mkindex.c	remove unused args from main(), as per PR#5867	1998-09-11 13:16:05 +00:00