GitLab

I was browsing the documentations of Agda and Idris this week and realised that they use the same tool to generate their docs (ReadTheDocs -- you might want to try it with Agda or Idris). @mh won't probably be a big fan of it, since it seems to come with an ad in the free version, but I still want to mention it. I think it looks very "modern" and is simple to use (it, for example, comes with a search utility). When we have a bachelor's student working on CurryDoc, maybe we could think about a ReadTheDocs-backend as well?

The usage is not limited to library/package documentation only, the mentioned languages use it for all kind of guides ("Getting Started", Installation, Tools etc).