Good overview! Maybe something to take into account: We have different groups of users for the documentation:On 19 May 2014 22:59, Pyfisch <pyfisch@googlemail.com> wrote:
Sphinx can generate really good docs from the source code and you only need to change source code, and then we could generate and host the docs on the labs server. If we require to update mediawiki.org, we wont ever reach sync between code and documentation. I propose to remove the documentation on mediawiki and only use sphinx for docs, but everywhere.
Recently, I've been thinking a lot about this, so this was a good reason to write those thoughts down; I created a wiki page for that: