[oi-dev] mkdocs and oi-docs

[Aurélien Larcher]

> to allow installing the tools for writing user documentation, directly from
> the repo, I packages mkdocs and dependencies:
>
> https://github.com/OpenIndiana/oi-userland/pull/2496

This PR is now merged + some fixes to dependencies.

You can now just pkg install mkdocs :)

The other PR will allow updating the user documentation in the form of
a package.

Users will then be able to open the documentation by just clicking on
an icon in the GNOME or MATE menu.

Kind regards

Aurelien

-- 
---
Praise the Caffeine embeddings