makeindex does not index the repo/index file.