From 75f01d2bc328d4b6cba446ad36af1ada64b64e27 Mon Sep 17 00:00:00 2001 From: teto Date: Sat, 25 Oct 2025 12:34:45 +0000 Subject: [PATCH] deploy: 7296022150cd775917e4c831c393026eae7c2427 --- options.xhtml | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/options.xhtml b/options.xhtml index 4f06379c4..b7c667f41 100644 --- a/options.xhtml +++ b/options.xhtml @@ -52090,6 +52090,36 @@ package

Default: pkgs.man

+

Declared by:

+ + +
+ +<home-manager/modules/programs/man.nix> + +
+ +
+ + programs.man.extraConfig + + +
+
+

Additional fields to be added to the end of the user manpath config file.

+ +

Type: +strings concatenated with ā€œ\nā€

+ +

Default: +""

+ +

Example:

''
+  MANDATORY_MANPATH /usr/man
+  SECTION 1 n l 8 3 0 2 3type 5 4 9 6 7
+''
+
+

Declared by: