diff options
author | Martin Roth <gaumless@gmail.com> | 2024-01-18 12:31:22 -0700 |
---|---|---|
committer | Felix Singer <service+coreboot-gerrit@felixsinger.de> | 2024-01-24 10:13:21 +0000 |
commit | fd96da95c4a36ffae8118400aa8cdab0d50b5060 (patch) | |
tree | 0e377806164341e2bf14a44ab0d89c7ab37ea37f /Documentation/technotes | |
parent | f845adc2448c56096f4ba64f676937d9fbdd061b (diff) |
device, security: Rename Makefiles from .inc to .mk
The .inc suffix is confusing to various tools as it's not specific to
Makefiles. This means that editors don't recognize the files, and don't
open them with highlighting and any other specific editor functionality.
This issue is also seen in the release notes generation script where
Makefiles get renamed before running cloc.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: I41f8a9b5d1bdb647a915da1a5e95161b2e34df28
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80082
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>
Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'Documentation/technotes')
0 files changed, 0 insertions, 0 deletions