diff --git a/Makefile b/Makefile
index 43d9049ae82d795bab2b0da6cc3bdcff1f5419a1..e83a99de616aef3a29d1fdda8c6e8ccee1f13409 100644
--- a/Makefile
+++ b/Makefile
@@ -1634,10 +1634,10 @@ dots: $(ALL_CMO)
$(QUIET_MAKE) doc/call_graph.ps
# pandoc is required to regenerate the manpage
-man/frama-c.1: man/frama-c.1.header man/frama-c.1.md
+man/frama-c.1: man/frama-c.1.md Makefile
$(PRINT) 'generating $@'
$(RM) $@
- pandoc -s -t man -H $^ | tail -n +5 > man/frama-c.1
+ pandoc -s -t man $< > $@
$(CHMOD_RO) $@
# Checking consistency with the current implementation
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 44f5948ae50c21b8f6056d4f11886cac31a38546..412e563ceb435794e2ffdfa97b05aa111af3a4ed 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -106,7 +106,7 @@ licenses/CDDL-1.0: .ignore
licenses/LGPLv2: .ignore
licenses/LGPLv2.1: .ignore
licenses/Q_MODIFIED_LICENSE: .ignore
-man/frama-c.1: CEA_LGPL
+man/frama-c.1: .ignore
opam/opam: .ignore
ptests/.gitignore: .ignore
ptests/.merlin: .ignore
diff --git a/man/frama-c.1 b/man/frama-c.1
index 5ee7b85ce7927b17209af82e5bb77fad4b207f49..a0173eeecbf1c2ad09aa1805593b0d524aeb8571 100644
--- a/man/frama-c.1
+++ b/man/frama-c.1
@@ -1,3 +1,7 @@
+.\" Automatically generated by Pandoc 2.11.3
+.\"
+.TH "FRAMA-C" "1" "" "2021-02-16" ""
+.hy
.\"------------------------------------------------------------------------
.\"
.\" This file is part of Frama-C documentation
@@ -13,8 +17,6 @@
.\" 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`.
-
-.TH FRAMA-C 1 2021-10-07
.SH NAME
.PP
frama-c[.byte] - a static analyzer for C programs
diff --git a/man/frama-c.1.header b/man/frama-c.1.header
deleted file mode 100644
index 6468af74eb7bdfed1b14d212f0f12877ad0423d6..0000000000000000000000000000000000000000
--- a/man/frama-c.1.header
+++ /dev/null
@@ -1,17 +0,0 @@
-.\"------------------------------------------------------------------------
-.\"
-.\" 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
-
-.\" 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`.
-
-.TH FRAMA-C 1 2021-10-07
diff --git a/man/frama-c.1.md b/man/frama-c.1.md
index 27543f7337410a78558915edd6c1f374b02772ab..5ed2c0f2b2385f7a93419eea37c5f19e106c9636 100644
--- a/man/frama-c.1.md
+++ b/man/frama-c.1.md
@@ -1,3 +1,25 @@
+---
+title: 'FRAMA-C(1) 2021-02-16'
+header-includes:
+- |
+ ```{=man}
+ .\"------------------------------------------------------------------------
+ .\"
+ .\" 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
+
+ .\" 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`.
+ ```
+...
# NAME
frama-c[.byte] - a static analyzer for C programs