From a144c723a11cafbb01f01b5d581be453d2947aa8 Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Sun, 1 Sep 2019 21:28:40 +0200
Subject: [PATCH] doc: surround `name?` with fancier characters

---
 doc/release-notes/rl-1903.xml      | 4 ++--
 modules/misc/submodule-support.nix | 2 +-
 nix-darwin/default.nix             | 2 +-
 nixos/default.nix                  | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/doc/release-notes/rl-1903.xml b/doc/release-notes/rl-1903.xml
index b3c45370f..2c666da7d 100644
--- a/doc/release-notes/rl-1903.xml
+++ b/doc/release-notes/rl-1903.xml
@@ -23,8 +23,8 @@
   <itemizedlist>
    <listitem>
     <para>
-     The <option>home.file.&lt;name?&gt;.source</option> now allows source
-     files to be hidden, that is, having a name starting with the
+     The <option>home.file.‹name?›.source</option> now allows source files
+     to be hidden, that is, having a name starting with the
      <literal>.</literal> character. It also allows the source file name to
      contain characters not typically allowed for Nix store paths. For example,
      your configuration can now contain things such as
diff --git a/modules/misc/submodule-support.nix b/modules/misc/submodule-support.nix
index d6138c7cc..ff80291ca 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.&lt;name?&gt;.packages</option>.
+        <option>users.users.‹name?›.packages</option>.
       '';
     };
   };
diff --git a/nix-darwin/default.nix b/nix-darwin/default.nix
index 4ce64a775..1482c7bb2 100644
--- a/nix-darwin/default.nix
+++ b/nix-darwin/default.nix
@@ -25,7 +25,7 @@ in
     home-manager = {
       useUserPackages = mkEnableOption ''
         installation of user packages through the
-        <option>users.users.&lt;name?&gt;.packages</option> option.
+        <option>users.users.‹name?›.packages</option> option.
       '';
 
       users = mkOption {
diff --git a/nixos/default.nix b/nixos/default.nix
index 8e616d9e2..f53b4d4d6 100644
--- a/nixos/default.nix
+++ b/nixos/default.nix
@@ -38,7 +38,7 @@ in
     home-manager = {
       useUserPackages = mkEnableOption ''
         installation of user packages through the
-        <option>users.users.&lt;name?&gt;.packages</option> option.
+        <option>users.users.‹name?›.packages</option> option.
       '';
 
       backupFileExtension = mkOption {