Improve documentation updates
JoaoRodrigues opened this issue · 1 comments
JoaoRodrigues commented
Currently we have to manually update the documentation (web page) to reflect the tools. It would be nice to automate this with a github action. Any volunteers? :) @mtrellet
JoaoRodrigues commented
Closed by #97