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 40f17ce2d200d200be5b7dff338b12d3c72280e5..5676dbdfd392a6c3986198c5aa11bf8aaff00793 100644
--- a/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
+++ b/src/plugins/e-acsl/man/e-acsl-gcc.sh.1
@@ -232,6 +232,10 @@ executable found in the system path is used.
 separate with a \fB-then\fP the first \fBFrama-C\fP options from the actual
 launch of the \fBE-ACSL\fP plugin.
 .TP
+.B --then-last
+separate with a \fB-then-last\fP the first \fBFrama-C\fP options from the actual
+launch of the \fBE-ACSL\fP plugin.
+.TP
 .B --e-acsl-extra=\fI<OPTS>
 add \fI<OPTS>\fP to the list of options that will be given to the \fBE-ACSL\fP
 analysis. Only useful when \fB--then\fP is in use, in which case \fI<OPTS>\fP