From aa1dafc30d36bd4609ead0faaee66e44f617f981 Mon Sep 17 00:00:00 2001
From: Tristan Cacqueray <tdecacqu@redhat.com>
Date: Tue, 3 Nov 2020 19:02:00 +0000
Subject: [PATCH] Add dhall-docs-simple

This change sets the dhall-docs-simple attribute to install the dhall-docs cli.
---
 default.nix           | 4 ++++
 dhall-docs-simple.nix | 7 +++++++
 2 files changed, 11 insertions(+)
 create mode 100644 dhall-docs-simple.nix

diff --git a/default.nix b/default.nix
index 20eb7f6..34cbe4c 100644
--- a/default.nix
+++ b/default.nix
@@ -24,4 +24,8 @@
   dhall-lsp-simple = import ./dhall-lsp-simple.nix {
     inherit pkgs;
   };
+
+  dhall-docs-simple = import ./dhall-docs-simple.nix {
+    inherit pkgs;
+  };
 }
diff --git a/dhall-docs-simple.nix b/dhall-docs-simple.nix
new file mode 100644
index 0000000..3b581f4
--- /dev/null
+++ b/dhall-docs-simple.nix
@@ -0,0 +1,7 @@
+{ pkgs ? import <nixpkgs> { } }:
+
+import ./build.nix { inherit pkgs; release = import ./release.nix; } {
+  simpleName = "dhall-docs-simple";
+  binNames = [ "dhall-docs" ];
+  attrName = "dhall-docs";
+}