On Sat, 12 Dec 2015 15:32:15 +0100 Bo Berglund <bo.berglund at gmail.com> wrote: >[...] > The last make useride makes me wonder... > Shouldn't it be make bigide instead? > > What is the difference between useride and bigide? See 'make help' for the parameters. Mattias