You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fixes#3: Generate both stable and snapshot documentations
Current links will now point to the stable documentations.
Snapshot ones are now available in a snapshot/ subdirectory.
Get the date from the last commit.
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.