On 11/22/17 16:43, Chris H wrote: >> > Maybe I'm just missing something... But doesn't > > $ make plist > > give it to you? > > Apologies if I'm simply missing the obvious. :) $ make makeplist doesn't know which files depend on which options. Yuri