diff --git a/Makefile.in b/Makefile.in index ea0310369..a04a1f93d 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: