From 3c692ef8cf3d3cdb2e9d6e0d712990fa3ecdfb63 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Thu, 26 Sep 2024 16:43:30 +0200
Subject: [PATCH] driver: fix help string for --help

---
 kernel/driver.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kernel/driver.cc b/kernel/driver.cc
index 4045989d6e4..461e06cf99a 100644
--- a/kernel/driver.cc
+++ b/kernel/driver.cc
@@ -227,8 +227,8 @@ int main(int argc, char **argv)
 		("f,frontend", "use <frontend> for the input files on the command line",
 			cxxopts::value<std::string>(), "<frontend>")
 		("H", "print the command list")
-		("h,help", "print the help message for <command>",
-			cxxopts::value<std::string>(), "<command>")
+		("h,help", "print this help message. If given, print help for <command>.",
+			cxxopts::value<std::string>(), "[<command>]")
 		("s,scriptfile", "execute the commands in <scriptfile>",
 			cxxopts::value<std::string>(), "<scriptfile>")
 		("c,tcl-scriptfile", "execute the commands in the TCL <tcl_scriptfile> (see 'help tcl' for details)",