> 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
On Mon, Oct 17, 2016 at 3:06 PM, Nikola M wrote:
> On 10/17/16 02:49 PM, Jim Klimov wrote:
> > while the other PR is still worked on (WIP) and not ready for merge -
> just a preview for the curious as to what
>
> I just won't call it WIP if it is presented to be merged.
On 10/17/16 02:49 PM, Jim Klimov wrote:
> while the other PR is still worked on (WIP) and not ready for merge - just a
> preview for the curious as to what
I just won't call it WIP if it is presented to be merged. (About texts)
It can be merged in any RND moment , similar as not knowing in
17 октября 2016 г. 13:34:51 CEST, Nikola M пишет:
>On 10/17/16 07:27 AM, Aurélien Larcher wrote:
>> Hullo,
>> to allow installing the tools for writing user documentation,
>directly
>> from the repo, I packages mkdocs and dependencies:
>>
>>
On Mon, Oct 17, 2016 at 1:34 PM, Nikola M wrote:
> On 10/17/16 07:27 AM, Aurélien Larcher wrote:
> > Hullo,
> > to allow installing the tools for writing user documentation, directly
> > from the repo, I packages mkdocs and dependencies:
> >
> >
Hullo,
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
and I prepared a work-in-progress component that installs the user
documentation as html in /usr /share/doc and