Closed audrey01mit closed 6 months ago
Yeah I think it's simple enough to just make people run the script to generate docs. It should be possible to write a custom pre-commit hook which runs locally before a commit and automatically runs the documentation generation script and adds all the outputs to the commit before actually finalizing the commit. But I think it's probably easiest to leave it as it is.
issues #8 and #17 (can you confirm that this is answered as you wanted?)
In any case, this is already simpler to run like that I think.