mirror of
https://git.freebsd.org/ports.git
synced 2025-06-07 13:50:38 -04:00
91d97411ae
PR: 211903 Submitted by: Greg V <greg@unrelenting.technology> Approved by: tcberner (mentor) Differential Revision: https://reviews.freebsd.org/D13150
10 lines
438 B
Text
10 lines
438 B
Text
--- Makefile.orig 2017-11-18 22:48:40 UTC
|
|
+++ Makefile
|
|
@@ -175,6 +175,7 @@ documentation:
|
|
|
|
man: E
|
|
mkdir -p DOC/man
|
|
+ help2man -N -i DOC/bug_reporting PROVER/e_deduction_server > DOC/man/e_deduction_server.1
|
|
help2man -N -i DOC/bug_reporting PROVER/eproof > DOC/man/eproof.1
|
|
help2man -N -i DOC/bug_reporting PROVER/eproof_ram > DOC/man/eproof_ram.1
|
|
help2man -N -i DOC/bug_reporting PROVER/eprover > DOC/man/eprover.1
|