[Documentation] automatically update documentation after PR is merged. #206
Labels
Priority: High
After critical issues are fixed, these should be dealt with before any further issues.
Status: Accepted
It's clear what the subject of the issue is about, and what the resolution should be.
Type: Enhancement
Most issues will probably ask for additions or changes.
Milestone
Having contributors run php doc/documentor.php after every little change is annoying ( see #205 ), we should automate this via GitHub actions.
The text was updated successfully, but these errors were encountered: