Robert Hensing b6ce4e100a local.mk: Don't log docroot comments ...

These were accidentally logged and do not need to appear in make's
log output.

(cherry picked from commit 1a86d3e98e)

2023-02-13 12:02:46 +00:00

..

manual

local.mk: Don't log docroot comments

2023-02-13 12:02:46 +00:00