From b5bbfd4166a725fe4b3b7fa7ddba4bed58dd0206 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Thu, 25 Aug 2022 10:43:22 +0200
Subject: [PATCH] [e-acsl:e-acsl-gcc.sh] document new option --then-last in the
 man page

---
 src/plugins/e-acsl/man/e-acsl-gcc.sh.1 | 4 ++++
 1 file changed, 4 insertions(+)

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 40f17ce2d20..5676dbdfd39 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
-- 
GitLab