Skip to content

Move documentation from github wiki pages into the repository itself #3730

@ohm314

Description

@ohm314

While I'm liking opengrok more and more I find the documentation could need some work. There are many small typos and a number of points that could use clarification and improvements. I'd love to help with this as I'm putting time and effort into figuring out how to setup opengrok at my lab.
Currently documentation is sitting in the github wiki and I don't see a way how someone, who is not part of the dev team, could suggest changes/fixes to the documentation. So, I wanted to ask if the documentation could be moved into a top-level directory docs/ of the repository. There are different approaches one could take:

  1. Simply store the wiki pages as a bunch of .md files. One needs to update crosslinks accordingly, but that should be fairly easy
  2. One could also go for a more involved solution and move to sphinx documentat. One would need to reformat the documetation into rst, add the necessary build scripts and publish them on readthedocs

Maybe for starters going with option 1 would already be a big improvement. Besides improving the documentation itself, this would allow the community to be more involved. I would certainly volunteer to help with this if the developers are open to accepting such a change.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions