install-info.pl 10.9 KB