> 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

_______________________________________________
oi-dev mailing list
[email protected]
https://openindiana.org/mailman/listinfo/oi-dev

Reply via email to