coreboot-kgpe-d16/util/nixshell/documentation.nix

with import <nixpkgs> {};

stdenvNoCC.mkDerivation {
	name = "coreboot-documentation";

	buildInputs = [
		git
		gnumake
		python3Packages.recommonmark
		python3Packages.sphinx_rtd_theme
		sphinx
	];
}