Closed szabgab closed 3 years ago
How and when do you generate the docs/ directory? Do you do it manually on your computer and the commit and push? Wouldn't it be better to create a GitHub Action that will re-generate the docs/ directory on every push and periodically once a day?
Yes, it's currently a manual process.
And, yes, I plan to fix that using a Github Action.
Patches welcome :-)
How and when do you generate the docs/ directory? Do you do it manually on your computer and the commit and push? Wouldn't it be better to create a GitHub Action that will re-generate the docs/ directory on every push and periodically once a day?