--- 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
