On 10/21/2015 11:27 PM, Mike Frysinger wrote: > On 21 Oct 2015 12:08, Carlos O'Donell wrote: >> (1) LOCARCHDIR / $(locarchdir) > > i'd lean towards this, or locarchivedir Thanks. We'll see what Andreas says. c.