diff options
Diffstat (limited to 'util/nixshell/documentation.nix')
| -rw-r--r-- | util/nixshell/documentation.nix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/util/nixshell/documentation.nix b/util/nixshell/documentation.nix new file mode 100644 index 0000000000..595e94a122 --- /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 + ]; +} |