On Sat, November 2, 2019 4:55 am, Danilo G. Baio wrote: > On Sat, Nov 02, 2019 at 04:05:26AM -0000, Pau Amma wrote: >> >> % env DESTDIR=/usr/home/pauamma/docobj make all install >> >> This gave me, after a while: > > Try DOCDIR instead of DESTDIR. Thanks, that works. *makes a note to fix FDP primer example 6.2*