Re: [PATCH v1 1/1] kbuild: Add "make headers" to "make help" output

[Borislav Petkov]

On Sat, Mar 08, 2025 at 08:47:44AM -0800, H. Peter Anvin wrote:
> That's not the only one. Point being that users have been using it so it is
> better to make it official than breaking it.

Yap, it ain't internal anymore - that's for sure.

-- 
Regards/Gruss,
    Boris.

https://people.kernel.org/tglx/notes-about-netiquette