On Thu, 21 Feb 2019 at 05:32, Oleg Grenrus <oleg.grenrus at iki.fi> wrote: > I don't know how to properly build doc/user-manual.pdf You can use the following command $ make user-manual-pdf -- Andrés