We want the output file to be named index.html and it is not possible to change the output name via the ant task.

Thus we rename the source file. Note that the name of the PDF is also changed to index.pdf (but it's not really worse than master.pdf anyway).