Re: CI job generating PDFs? Was: 404 on manuals on lyx.org

2017-08-21 Thread Guenter Milde
On 2017-08-20, Christian Ridderström wrote: > Guenter Milde writes: >> On 2017-08-11, Christian Ridderström wrote: >>> On 11 August 2017 at 13:03, Pavel Sanda wrote: Christian Ridderström wrote: > [*] It might make sense to have a CI job that builds

CI job generating PDFs? Was: 404 on manuals on lyx.org

2017-08-20 Thread Christian Ridderström
Guenter Milde writes: > On 2017-08-11, Christian Ridderström wrote: >> On 11 August 2017 at 13:03, Pavel Sanda wrote: >>> Christian Ridderström wrote: > >>> > [*] It might make sense to have a CI job that builds PDFs etc from the >>> > manuals as a separate