From 8d2b898532849ba0726b546a2ba52e0d2e5c2501 Mon Sep 17 00:00:00 2001
From: Robert Helgesson <robert@rycee.net>
Date: Sun, 12 Mar 2023 23:48:32 +0100
Subject: [PATCH] docs: update description of uninstall command

The removal of Home Manager generations is now non-optional.
---
 docs/man-home-manager.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/man-home-manager.xml b/docs/man-home-manager.xml
index e83cab89..1a2fe68e 100644
--- a/docs/man-home-manager.xml
+++ b/docs/man-home-manager.xml
@@ -346,8 +346,8 @@
         </listitem>
         <listitem>
          <para>
-          optionally remove all Home Manager generations and make them
-          available for immediate garbage collection.
+          remove all Home Manager generations and make them available
+          for immediate garbage collection.
          </para>
         </listitem>
        </itemizedlist>