Minor edit.
Specify index file for document generation.