.gitignore: Ignore `makeindex' debris.