diff options
author | zimbatm <zimbatm@zimbatm.com> | 2017-12-20 23:42:07 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-20 23:42:07 +0000 |
commit | adc5c9b83df203c9e425efe00f9a788ed3554c2d (patch) | |
tree | 04ce943811c6bfffa250069666d38cff2301d0cf /doc/default.nix | |
parent | 02d361cea9d20fe4746092a9ced207b1d0dcd9e9 (diff) |
mkShell: add builder (#30975)
Diffstat (limited to 'doc/default.nix')
-rw-r--r-- | doc/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/default.nix b/doc/default.nix index e3d7ef2ef9d62..60c613878c72c 100644 --- a/doc/default.nix +++ b/doc/default.nix @@ -50,6 +50,10 @@ pkgs.stdenv.mkDerivation { useChapters = true; } + toDocbook { + inputFile = ./shell.md; + outputFile = "shell.xml"; + } + + toDocbook { inputFile = ./languages-frameworks/python.md; outputFile = "./languages-frameworks/python.xml"; } |