diff --git a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1 b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
index cda898dd5cb7d284cd405a790cd08631cead058b..46a5565d7765ee25f62393bc89c27301746baa38 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -79,6 +79,10 @@ names of the executables generated from the original
 and the modified programs are
 \fIa.out\fP and \fIa.out.e-acsl\fP respectively.
 .TP
+.B --oexec-e-acsl=\fI<FILE>
+name of the executable file generated from the \fBE-ACSL\fP-instrumented file.
+Unless specified, the executable is named as inidicated by the \fB--oexec\fP option.
+.TP
 .B -f, --frama-c-only
 run input source files through \fBFrama-C\fP without \fBE-ACSL\fP instrumentations.
 .TP