Guys, it’s no secret that our documentation is outdated and could be improved a lot.
Some have offered to help with that, but I think actually contributing small edits here and there is too hard and therefore does not happen.
I have tried a wiki before (mediawiki), but didn’t like the formatting/syntax and not many people contributed.
While GitHub is great to version the docs and manage contributions, I think the barrier is a bit high. You have to clone the docs repo, get the Sphinx build going, do your small change and then create a pull request. With a barrier that high, small contributions just don’t happen.
So to summarize: does anyone has a good suggestion for an easy to use system to manage user documentation?
For documenting our code, using Sphinx (combined with other tools like Doxygen) is probably fine, as the code is already on GitHub. For the user docs, I’d like something more like a wiki. But a modern, WYSIWYG, easy to manage, and as nice to use as this discourse forum.