From ff602cb906e3dd5d5f89c7c1d0fae65bc67119a0 Mon Sep 17 00:00:00 2001
From: Alex Ameen <alex.ameen.tx@gmail.com>
Date: Sat, 13 Apr 2019 02:39:14 -0500
Subject: [PATCH] manual: add option `manual.json.enable`

Make it possible to install a JSON file containing the available Home
Manager options.
---
 modules/manual.nix | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/modules/manual.nix b/modules/manual.nix
index d597d002..0c2681b3 100644
--- a/modules/manual.nix
+++ b/modules/manual.nix
@@ -83,13 +83,26 @@ in
         Thanks!
       '';
     };
+
+    manual.json.enable = mkOption {
+      type = types.bool;
+      default = false;
+      example = true;
+      description = ''
+        Whether to install a JSON formatted list of all Home Manager
+        options. This can be located at
+        <filename>&lt;profile directory&gt;/share/doc/home-manager/options.json</filename>,
+        and may be used for navigating definitions, auto-completing,
+        and other miscellaneous tasks.
+      '';
+    };
   };
 
   config = {
     home.packages = mkMerge [
       (mkIf cfg.html.enable [ helpScript homeManagerManual.manual  ])
-
       (mkIf cfg.manpages.enable [ homeManagerManual.manpages ])
+      (mkIf cfg.json.enable [ homeManagerManual.optionsJSON ])
     ];
   };