Closed gdiazlo closed 5 years ago
We can use the Github Wiki which is also a git repo containing the history of changes but allow us to keep QED main repo clean.
We will use Read The Docs and its source is in docs/ inside this repository, so contributions will work like code contributions, until we agree on something else.
Propose a way to contribute to documentation out of the build cycle.