diff --git a/Changelog b/Changelog
index b01fd745013b01d1c2eaddf3347717626b25d8df..6fab54c729291a92308eb7e34f113071024a08ee 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 0fa77b175c62a1cc67debb77d2c4654444e360fd..66cfcd0fea3cb54912b7077fc834d76899be92e8 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 235124894053d3e0cceaa86f8793860a090af0d0..2bc62cfc5176c9274f4dad74c7c7d4894dd84a7c 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