Fix man pages whatis section (verilator#5710)

chipsalliance · Jan 3, 2025 · 578d8d8 · 578d8d8
1 parent 010ae58
commit 578d8d8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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: