Re: Possible problem / misunderstanding in make manual

[Reuben Thomas]

Thanks for your report, but it's about the make manual, so please can
you re-send it to bug-m...@gnu.org?

Anyone know what the make manual is doing in hello's web space?