All set. Thanks Oleg and Andres. -- rick On 2/21/19 9:22 AM, Andres Sicard Ramirez wrote: > 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 > -- rick