…ng of the line.
As we are in an early development phase, the generated documentation is marked with the current git tag and the date when the documentation was generated. To make the last documentation available publicly as soon as possible, a bot will be configured to generate the documentation daily. In order to prevent too many commits, we'll base the date on the last commit instead : it means that generated documentations will be committed and pushed only if the original documentations *and* the converter have changed.
Since dropdown menus are now available, direct links introduced in commit 2377c9e become useless.
… several sections
As the converter can't mange keywords defined in several sections yet, we generate direct links on top of the document to help access to the right section.