diff options
author | Robert Helgesson <robert@rycee.net> | 2019-09-01 21:28:40 +0200 |
---|---|---|
committer | Robert Helgesson <robert@rycee.net> | 2019-09-01 21:28:40 +0200 |
commit | a144c723a11cafbb01f01b5d581be453d2947aa8 (patch) | |
tree | 4635e7281a1d3b331eaa44e08b476c47abaaa03a /modules/misc/submodule-support.nix | |
parent | a28614e65d2ff0e78fe54ca6ec31cc042f563669 (diff) |
doc: surround `name?` with fancier characters
Diffstat (limited to '')
-rw-r--r-- | modules/misc/submodule-support.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/misc/submodule-support.nix b/modules/misc/submodule-support.nix index d6138c7ccd8..ff80291cadf 100644 --- a/modules/misc/submodule-support.nix +++ b/modules/misc/submodule-support.nix @@ -25,7 +25,7 @@ with lib; installed separately from the Home Manager activation script. In NixOS, for example, this may be accomplished by installing the packages through - <option>users.users.<name?>.packages</option>. + <option>users.users.‹name?›.packages</option>. ''; }; }; |