From 2f0cb509975338738a87830efe40ed8adbbe9b96 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Sat, 8 Mar 2025 11:56:20 -1000
Subject: [PATCH] imp!:web: deprecate and hide the --server flag, recommend
 --serve

---
 hledger-web/Hledger/Web/WebOptions.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/hledger-web/Hledger/Web/WebOptions.hs b/hledger-web/Hledger/Web/WebOptions.hs
index 5a0375e1b..e445b7938 100644
--- a/hledger-web/Hledger/Web/WebOptions.hs
+++ b/hledger-web/Hledger/Web/WebOptions.hs
@@ -54,7 +54,7 @@ prognameandversion =
 webflags :: [Flag RawOpts]
 webflags =
   [ flagNone
-      ["serve", "server"]
+      ["serve"]
       (setboolopt "serve")
       "serve and log requests, don't browse or auto-exit"
   , flagNone
@@ -115,6 +115,8 @@ webmode =
       Group
       { groupUnnamed = webflags
       , groupHidden = hiddenflags
+          ++
+          [flagNone ["server"] (setboolopt "serve") "old flag, use --serve instead"
       , groupNamed = mkgeneralflagsgroups1 helpflags
       }
   , modeHelpSuffix = []