From 9f93972c4d73abdcde789112229209af2cbda520 Mon Sep 17 00:00:00 2001
From: John Ericson <John.Ericson@Obsidian.Systems>
Date: Sat, 23 Sep 2023 00:35:03 -0400
Subject: [PATCH] manual / manpages: Make option category names a proper
 subheader

Before they were an "ad-hoc" header with bold and a colon; now they are
a proper subheader.

For the man pages, this doesn't make much of a difference, but it will
help more on for the HTML manual, where things can be restyled. Again,
good separation of content vs presentation.
---
 doc/manual/generate-manpage.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/generate-manpage.nix b/doc/manual/generate-manpage.nix
index b41730bc2..21a4802e5 100644
--- a/doc/manual/generate-manpage.nix
+++ b/doc/manual/generate-manpage.nix
@@ -92,7 +92,7 @@ let
       showOptions = allOptions:
         let
           showCategory = cat: opts: ''
-            ${optionalString (cat != "") "**${cat}:**"}
+            ${optionalString (cat != "") "## ${cat}"}
 
             ${concatStringsSep "\n" (attrValues (mapAttrs showOption opts))}
             '';