tree 7ad9d7d56377c9646bef37e95510a379897ad4e8
parent a6dedb8c22a21ec8e8108f11482da37cb14f48c3
author Patrick Georgi <patrick@coreboot.org> 1667523952 +0100
committer Patrick Georgi <patrick@coreboot.org> 1669970054 +0000

kconfig2html: Denote that the script is python3

`python` as a command isn't universally available anymore after the
python2/python3 drama.

Change-Id: I9d68873d86dc3f044238d921c10fc434a83a76f5
Signed-off-by: Patrick Georgi <patrick@coreboot.org>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/69190
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>