This gives the name of the Index file to generate.
Use Docs.Index to create the default file for RunMPIndex.
