From 578d8d8391db3c85744b23f1584dc26fb541ccce Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D8=A3=D8=AD=D9=85=D8=AF=20=D8=A7=D9=84=D9=85=D8=AD=D9=85?=
 =?UTF-8?q?=D9=88=D8=AF=D9=8A?= <96682+aelmahmoudy@users.noreply.github.com>
Date: Fri, 3 Jan 2025 16:58:33 +0200
Subject: [PATCH] Fix man pages whatis section (#5710)

---
 Makefile.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index ea0310369a..a04a1f93d8 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -201,7 +201,8 @@ verilator.1: ${srcdir}/bin/verilator
 verilator_coverage.1: ${srcdir}/bin/verilator_coverage
 	pod2man $< $@
 %.1: ${srcdir}/bin/%
-	help2man --no-info --no-discard-stderr --version-string=- $< -o $@
+	help2man --no-info --no-discard-stderr --version-string=- \
+		-n "$(shell $< --help | head -n 3 | tail -n 1)" $< -o $@
 
 .PHONY: verilator.html
 verilator.html: