tree 0e8bd42dd02a00d7015821e6b5a9fc274dd52f59
parent 5d6d8008403d09a97188e345307c6b6d652c2576
author Martin Roth <gaumless@gmail.com> 1705619499 -0700
committer Felix Singer <service+coreboot-gerrit@felixsinger.de> 1706097271 +0000

mb/hp to mb/kontron: 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: Icfdadfa6705a64655b38aca25be0818ec26429f9
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80110
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>