Right now, the generated docs are tracked by git, which is not remotely ideal. Since it is generated markdown, the actual github repo can link to it and display it in a nice format - but for that, it has to be tracked.
If we deploy the docs as a static web page, we can take the generated markdown out of git (!).
Right now, the generated docs are tracked by git, which is not remotely ideal. Since it is generated markdown, the actual github repo can link to it and display it in a nice format - but for that, it has to be tracked.
If we deploy the docs as a static web page, we can take the generated markdown out of git (!).