[man] update Frama-C manpage

man/frama-c.1

 .\" Automatically generated by Pandoc 2.14.0.3
 .\"
-.TH "FRAMA-C" "1" "" "2023-02-13" ""
+.TH "FRAMA-C" "1" "" "2023-05-12" ""
 .hy
 .\"------------------------------------------------------------------------
 .\"                                                                        
@@ -15,13 +15,13 @@
 
 .\" DO NOT EDIT THIS FILE!
 .\" This man file has been generated from a Markdown file (frama-c.1.md)
-.\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file
-.\" and run `make man/frama-c.1`.
+.\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file,
+.\" run `dune build @check-man` and then `dune promote`.
 .SH NAME
 .PP
-frama-c[.byte] - a static analyzer for C programs
+frama-c - a static analyzer for C programs
 .PP
-frama-c-gui[.byte] - the graphical interface of frama-c
+frama-c-gui - the graphical interface of frama-c
 .SH SYNOPSIS
 .PP
 \f[B]frama-c\f[R] [ \f[I]options\f[R] ] \f[I]files\f[R]
@@ -45,9 +45,9 @@ will provide the full list of the plugins that are currently installed.
 \f[B]frama-c\f[R].
 It features the same options as the command-line version.
 .PP
-\f[B]frama-c.byte\f[R] and \f[B]frama-c-gui.byte\f[R] are the OCaml
-bytecode versions of the command-line and graphical user interface
-respectively.
+\f[B]ivette\f[R] is a new, Electron-based graphical user interface for
+\f[B]frama-c\f[R].
+It also features the same options as the command-line version.
 .PP
 By default, Frama-C recognizes \f[I].c\f[R] files as C files needing
 pre-processing and \f[I].i\f[R] files as C files having been already
@@ -435,13 +435,11 @@ outputs the directory where the Frama-C kernel library is installed.
 alias of \f[B]-print-share-path\f[R].
 .TP
 -print-plugin-path
-outputs the directory where Frama-C searches its plugins (can be
-overridden by the \f[B]FRAMAC_PLUGIN\f[R] variable and the
-\f[B]-add-path\f[R] option).
+outputs the directory where Frama-C searches its plugins.
 .TP
 -print-share-path
-outputs the directory where Frama-C stores its data (can be overridden
-by the \f[B]FRAMAC_SHARE\f[R] variable).
+outputs the directory where Frama-C stores shareable files
+(e.g.\ standard library, machdeps, shared Makefiles).
 .TP
 [-no]-remove-exn
 transforms throw and try/catch statements into normal C functions.

man/frama-c.1.md

 ---
-title: 'FRAMA-C(1) 2023-02-13'
+title: 'FRAMA-C(1) 2023-05-12'
 header-includes:
 - |
   ```{=man}
@@ -16,15 +16,15 @@ header-includes:
 
   .\" DO NOT EDIT THIS FILE!
   .\" This man file has been generated from a Markdown file (frama-c.1.md)
-  .\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file
-  .\" and run `make man/frama-c.1`.
+  .\" using pandoc 2.0 or newer. To modify this file, edit the Markdown file,
+  .\" run `dune build @check-man` and then `dune promote`.
   ```
 ...
 # NAME
 
-frama-c[.byte] - a static analyzer for C programs
+frama-c - a static analyzer for C programs
 
-frama-c-gui[.byte] - the graphical interface of frama-c
+frama-c-gui - the graphical interface of frama-c
 
 # SYNOPSIS
 
@@ -44,8 +44,8 @@ will provide the full list of the plugins that are currently installed.
 **frama-c-gui** is the graphical user interface of **frama-c**.
 It features the same options as the command-line version.
 
-**frama-c.byte** and **frama-c-gui.byte** are the OCaml bytecode versions
-of the command-line and graphical user interface respectively.
+**ivette** is a new, Electron-based graphical user interface for **frama-c**.
+It also features the same options as the command-line version.
 
 By default, Frama-C recognizes *.c* files as C files needing pre-processing
 and *.i* files as C files having been already pre-processed.
@@ -368,12 +368,11 @@ the Frama-C standard library. Defaults to no.
 : alias of **-print-share-path**.
 
 -print-plugin-path
-: outputs the directory where Frama-C searches its plugins (can be overridden
-by the **FRAMAC_PLUGIN** variable and the **-add-path** option).
+: outputs the directory where Frama-C searches its plugins.
 
 -print-share-path
-: outputs the directory where Frama-C stores its data (can be overridden by the
-**FRAMAC_SHARE** variable).
+: outputs the directory where Frama-C stores shareable files
+(e.g. standard library, machdeps, shared Makefiles).
 
 [-no]-remove-exn
 : transforms throw and try/catch statements into normal C functions.