blob: 6a45f6aa974d2ceac8bc075b40064a3a06c55d20 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
--- 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
|
