diff --git a/pkgs/applications/science/logic/eProver/default.nix b/pkgs/applications/science/logic/eProver/default.nix
index 9aca82295ba..138995036a6 100644
--- a/pkgs/applications/science/logic/eProver/default.nix
+++ b/pkgs/applications/science/logic/eProver/default.nix
@@ -18,7 +18,7 @@ stdenv.mkDerivation {
   # HOME=. allows to build missing TeX formats
   installPhase = ''
     mkdir -p $out/bin
-    make install-exec
+    make install
     HOME=. make documentation
     mkdir -p $out/share/doc
     cp -r DOC $out/share/doc/EProver