On 21 May 2017, at 15:36, Benjamin Kaduk wrote:
On Sun, May 21, 2017 at 02:57:33PM +0200, Baptiste Daroussin wrote:
What I want to propose now, it to render them as PDF (html?) once and
push them
somewhere (to be defined) as static document on our documentation
website.
Please doceng@ pro
On Sun, May 21, 2017 at 02:57:33PM +0200, Baptiste Daroussin wrote:
>
> What I want to propose now, it to render them as PDF (html?) once and push
> them
> somewhere (to be defined) as static document on our documentation website.
> Please doceng@ provide me a location where to push them.
>
> An
