From 96a02b9ac222c757c54af1fdf02486d81a39a13d Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 26 May 2020 15:25:44 +0200
Subject: [PATCH] [Doc/Changelog] add entry for !1937 and update manpage
---
Changelog | 2 ++
man/frama-c.1 | 5 +++++
man/frama-c.1.header | 2 +-
3 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/Changelog b/Changelog
index b01fd745013..6fab54c7292 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
Open Source Release <next-release>
##################################
+- Kernel [2020-05-26] New option -explain, which provides help messages
+ for options used on the command line.
- Eva [2020-05-25] New annotation eva_allocate to configure the behavior
of an allocation builtin for a call, overriding the global option.
- Eva [2020-05-25] New option -eva-alloc-builtin to configure uniformly
diff --git a/man/frama-c.1 b/man/frama-c.1
index 0fa77b175c6..66cfcd0fea3 100644
--- a/man/frama-c.1
+++ b/man/frama-c.1
@@ -95,6 +95,11 @@ prints the list of options recognized by Frama\-C's kernel
.RS
.RE
.TP
+.B \-explain
+prints a help message for each other option given on the command line
+.RS
+.RE
+.TP
.B \-verbose \f[I]n\f[]
sets verbosity level.
Defaults to 1.
diff --git a/man/frama-c.1.header b/man/frama-c.1.header
index 23512489405..2bc62cfc517 100644
--- a/man/frama-c.1.header
+++ b/man/frama-c.1.header
@@ -25,4 +25,4 @@
.\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file
.\" and run `make man/frama-c.1`.
-.TH FRAMA-C 1 2020-04-02
+.TH FRAMA-C 1 2020-05-26
--
GitLab