From 88ccd4863c9c893edd0aa6d119c357b3301c5285 Mon Sep 17 00:00:00 2001
From: Felix Singer <felixsinger@posteo.net>
Date: Sun, 20 Feb 2022 12:06:22 +0100
Subject: util/nixshell: Add a Nix shell for building documentation
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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>
---
 util/nixshell/documentation.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 util/nixshell/documentation.nix

diff --git a/util/nixshell/documentation.nix b/util/nixshell/documentation.nix
new file mode 100644
index 000000000000..595e94a122ea
--- /dev/null
+++ b/util/nixshell/documentation.nix
@@ -0,0 +1,13 @@
+with import <nixpkgs> {};
+
+stdenvNoCC.mkDerivation {
+	name = "coreboot-documentation";
+
+	buildInputs = [
+		git
+		gnumake
+		python3Packages.recommonmark
+		python3Packages.sphinx_rtd_theme
+		sphinx
+	];
+}
-- 
cgit v1.2.3