From 91f1e6da07a4b3e3d61fc7c6cde8fbca5c4951e8 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 17 Feb 2021 13:39:39 +0100
Subject: [PATCH] [man] simplify production of man/frama-c.1
---
Makefile | 4 ++--
headers/header_spec.txt | 2 +-
man/frama-c.1 | 6 ++++--
man/frama-c.1.header | 17 -----------------
man/frama-c.1.md | 22 ++++++++++++++++++++++
5 files changed, 29 insertions(+), 22 deletions(-)
delete mode 100644 man/frama-c.1.header
diff --git a/Makefile b/Makefile
index 43d9049ae82..e83a99de616 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 44f5948ae50..412e563ceb4 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 5ee7b85ce79..a0173eeecbf 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 6468af74eb7..00000000000
--- 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 27543f73374..5ed2c0f2b23 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
--
GitLab