Continuing adapting indexgen for HTMLBook.