Rowan Collins wrote: > Stas Malyshev wrote (on 22/07/2014): >> Alternatively, we could do a wiki maybe but the problem there is that it >> is hard to export (unless anybody knows wiki setups that can be easily >> exported into single document). > > Something like Wikipedia's "Create a Book" feature perhaps? [1] That can > be set up on any MediaWiki install with the right extensions. [2] > > It looks like DokuWiki (which I think wiki.php.net is running?) has a > similar plugin. [3] No idea if it's any good, but it looks like it's > reasonably actively maintained. > > [1] https://en.wikipedia.org/wiki/Help:Books > [2] https://www.mediawiki.org/wiki/Extension:Collection > [3] https://www.dokuwiki.org/plugin:bookcreator
Another idea would be a Git repository with the specification as markdown files. This would allow creating Pull Requests via GitHub. Best regards, Christian