tree 341e86e8981536dc2ecd6f62c513c037586d0915
parent 4045935eb835e4a4c86cb718d8d962793b35edea
author Felix Singer <felixsinger@posteo.net> 1645355182 +0100
committer Felix Singer <felixsinger@posteo.net> 1645525901 +0000

util/nixshell: Add a Nix shell for building documentation

Add a Nix shell config allowing to build the coreboot documentation.

Change-Id: I1c9715c677342241b78fbdef0afeb4536f48d50f
Signed-off-by: Felix Singer <felixsinger@posteo.net>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/62203
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Michael Niewöhner <foss@mniewoehner.de>