Rename master.asciidoc to index.asciidoc

Description

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).

Environment

None

Assignee

Unassigned

Reporter

Guillaume Smet

Labels

None

Feedback Requested

None

Feedback Requested By

None

backPortable

None

Suitable for new contributors

None

Pull Request

None

backportDecision

None

backportReEvaluate

None

Components

Fix versions

Priority

Major
Configure