From a069093124a7289b12bea1856177fe53bee14b3b Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 10 May 2022 15:14:33 +0200
Subject: [PATCH] [doc] removed journal
---
man/frama-c.1 | 29 +++++++----------------------
man/frama-c.1.md | 27 +++++++--------------------
2 files changed, 14 insertions(+), 42 deletions(-)
diff --git a/man/frama-c.1 b/man/frama-c.1
index 969afd9eac2..cab04ada2a1 100644
--- a/man/frama-c.1
+++ b/man/frama-c.1
@@ -3,13 +3,13 @@
.TH "FRAMA-C" "1" "" "2021-06-18" ""
.hy
.\"------------------------------------------------------------------------
-.\"
-.\" This file is part of Frama-C documentation
-.\"
-.\" Copyright (C) 2007-2021
-.\" CEA (Commissariat à l'énergie atomique et aux énergies
-.\" alternatives)
-.\"
+.\"
+.\" This file is part of Frama-C documentation
+.\"
+.\" Copyright (C) 2007-2021
+.\" CEA (Commissariat à l'énergie atomique et aux énergies
+.\" alternatives)
+.\"
.\" you can redistribute it and/or modify it under the terms of the
.\" CC-BY-SA 4.0 license
@@ -293,21 +293,6 @@ Use \f[B]\[at]inline\f[R] to select all functions with attribute
Recursive functions are inlined only at the first level.
Calls via function pointers are not inlined.
.TP
--journal-disable
-do not output a journal of the current session.
-See \f[B]-journal-enable\f[R].
-.TP
--journal-enable
-on by default, dumps a journal of all the actions performed during the
-current Frama-C session in the form of an OCaml script that can be
-replayed with \f[B]-load-script\f[R].
-The name of the script can be set with the \f[B]-journal-name\f[R]
-option.
-.TP
--journal-name \f[I]name\f[R]
-sets the name of the journal file (without the \f[I].ml\f[R] extension).
-Defaults to \f[B]frama_c_journal\f[R].
-.TP
-json-compilation-database \f[I]path\f[R]
use \f[I]path\f[R] as a JSON compilation database (see
<https://clang.llvm.org/docs/JSONCompilationDatabase.html> for more
diff --git a/man/frama-c.1.md b/man/frama-c.1.md
index 3d7aabda6cd..fb1a43b2009 100644
--- a/man/frama-c.1.md
+++ b/man/frama-c.1.md
@@ -4,13 +4,13 @@ header-includes:
- |
```{=man}
.\"------------------------------------------------------------------------
- .\"
- .\" This file is part of Frama-C documentation
- .\"
- .\" Copyright (C) 2007-2021
- .\" CEA (Commissariat à l'énergie atomique et aux énergies
- .\" alternatives)
- .\"
+ .\"
+ .\" This file is part of Frama-C documentation
+ .\"
+ .\" Copyright (C) 2007-2021
+ .\" CEA (Commissariat à l'énergie atomique et aux énergies
+ .\" alternatives)
+ .\"
.\" you can redistribute it and/or modify it under the terms of the
.\" CC-BY-SA 4.0 license
@@ -248,19 +248,6 @@ Use **@inline** to select all functions with attribute *inline*.
Recursive functions are inlined only at the first level.
Calls via function pointers are not inlined.
--journal-disable
-: do not output a journal of the current session. See **-journal-enable**.
-
--journal-enable
-: on by default, dumps a journal of all the actions performed during the
-current Frama-C session in the form of an OCaml script that can be replayed
-with **-load-script**. The name of the script can be set with the
-**-journal-name** option.
-
--journal-name *name*
-: sets the name of the journal file (without the *.ml* extension).
-Defaults to **frama_c_journal**.
-
-json-compilation-database *path*
: use *path* as a JSON compilation database
(see <https://clang.llvm.org/docs/JSONCompilationDatabase.html>
--
GitLab