From ecc724dac91cf16a928efe97005be281629556f3 Mon Sep 17 00:00:00 2001 From: Viktor Kronvall Date: Tue, 5 Dec 2023 16:55:58 +0900 Subject: [PATCH] docs: render DESCRIPTION and OPTIONS headings --- docs/home-manager.1 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/home-manager.1 b/docs/home-manager.1 index cdcfdd50c..1747735e1 100644 --- a/docs/home-manager.1 +++ b/docs/home-manager.1 @@ -52,7 +52,7 @@ .Op Bro Fl v | Fl -verbose Brc . .Sh DESCRIPTION - +.Pp This command updates the user environment so that it corresponds to the configuration specified in $XDG_CONFIG_HOME/home-manager/home.nix or @@ -185,7 +185,7 @@ remove all Home Manager generations and make them available for immediate garbag .sp .RE .El - +. .Sh OPTIONS .Pp The tool accepts the options