Allow options to be marked as "internal"

This means they're not for end users.  Currently they're filtered from
the manual, but we could include them in a separate section.

1 files changed, 1 insertions, 0 deletions

diff --git a/lib/options.nix b/lib/options.nix
index a91115287e45..20ffc61c1ad1 100644
--- a/lib/options.nix
+++ b/lib/options.nix
@@ -275,6 +275,7 @@ rec {
             description = opt.description or (throw "Option ${opt.name}: No description.");
             declarations = map (x: toString x.source) opt.declarations;
             #definitions = map (x: toString x.source) opt.definitions;
+            internal = opt.internal or false;
           }
           // optionalAttrs (opt ? example) { example = scrubOptionValue opt.example; }
           // optionalAttrs (opt ? default) { default = scrubOptionValue opt.default; }