Re: Possible problem / misunderstanding in make manual

[Reuben Thomas]

Thanks for the explanation; good to have it on file, at the very least.