Ignore one more generated index from makeinfo.