From 4ca0fc01e40309229c54b27997d9a26c42ed96ad Mon Sep 17 00:00:00 2001
From: Tobias Happ <tobias.happ@gmx.de>
Date: Wed, 26 Oct 2022 11:22:08 +0200
Subject: [PATCH] home-manager: exclude home-manager options docs

---
 modules/home-manager.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/modules/home-manager.nix b/modules/home-manager.nix
index 515608c..5ebc1ef 100644
--- a/modules/home-manager.nix
+++ b/modules/home-manager.nix
@@ -1,4 +1,4 @@
-# Copyright (c) 2019-2021, see AUTHORS. Licensed under MIT License, see LICENSE.
+# Copyright (c) 2019-2022, see AUTHORS. Licensed under MIT License, see LICENSE.
 
 { config, lib, pkgs, home-manager-path, ... }:
 
@@ -51,6 +51,8 @@ in
       config = mkOption {
         type = types.nullOr hmModule;
         default = null;
+        # Prevent the entire submodule being included in the documentation.
+        visible = "shallow";
         description = "Home Manager configuration.";
       };