luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix man pages whatis section (#5710)

This commit is contained in:
أحمد المحمودي 2025-01-03 16:58:33 +02:00 committed by GitHub
parent 010ae580b1
commit 578d8d8391
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile.in
View File

@ -201,7 +201,8 @@ verilator.1: ${srcdir}/bin/verilator
verilator_coverage.1: ${srcdir}/bin/verilator_coverage verilator_coverage.1: ${srcdir}/bin/verilator_coverage
pod2man $< $@ pod2man $< $@
%.1: ${srcdir}/bin/% %.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 .PHONY: verilator.html
verilator.html: verilator.html: