Because the workadventu.re website documentation regarding map building directly comes from that repo, it makes sense to export the menu in the repo. This way, when we add a new documentation page, we can edit the menu in the same pull request.
Because the workadventu.re website documentation regarding map building directly comes from that repo, it makes sense to export the menu in the repo. This way, when we add a new documentation page, we can edit the menu in the same pull request.