From adc5c9b83df203c9e425efe00f9a788ed3554c2d Mon Sep 17 00:00:00 2001
From: zimbatm <zimbatm@zimbatm.com>
Date: Wed, 20 Dec 2017 23:42:07 +0000
Subject: mkShell: add builder (#30975)

---
 doc/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'doc/default.nix')

diff --git a/doc/default.nix b/doc/default.nix
index e3d7ef2ef9d6..60c613878c72 100644
--- a/doc/default.nix
+++ b/doc/default.nix
@@ -49,6 +49,10 @@ pkgs.stdenv.mkDerivation {
       outputFile = "introduction.xml";
       useChapters = true;
     }
+  + toDocbook {
+      inputFile = ./shell.md;
+      outputFile = "shell.xml";
+    }
   + toDocbook {
       inputFile = ./languages-frameworks/python.md;
       outputFile = "./languages-frameworks/python.xml";
-- 
cgit 1.4.1