On Sun, Oct 29, 2023 at 8:19 PM Alejandro Colomar <a...@kernel.org> wrote: > > Hi Dmitry! > > You recommended some time ago Adding a double colon rule targeting the > Makefiles for optimizing make and having smaller debug logs. I think it > would be good to document that usage in > <https://www.gnu.org/software/make/manual/html_node/Double_002dColon.html>.
Como estas, Alejandro. Already added here https://www.gnu.org/software/make/manual/html_node/Remaking-Makefiles.html regards, Dmitry
