Update e-acsl-share man page

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