On 1/1/21 12:09 PM, John Covici wrote: > I can't do that, they are gone after its over, so I don't see them, > this is why I was asking. Perform the "make install" manually to a directory (e.g., somewhere under $HOME), then inspect the files to obtain the list you need.