[man] simplify production of man/frama-c.1

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

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

man/frama-c.1

+.\" 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

man/frama-c.1.header

-.\"------------------------------------------------------------------------
-.\"                                                                        
-.\"  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

man/frama-c.1.md

+---
+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