From: Siddhesh Poyarekar <siddh...@redhat.com>
Use the proper GFDL 1.3 or later license header for the man pages
instead of the current stub, where the license version is unclear.
* doc/dejagnu-help.1: Use a proper GFDL 1.3 or later header.
* doc/dejagnu-report-card.1: Likewise.
* doc/dejagnu.1: Likewise.
---
doc/dejagnu-help.1 | 7 +++++--
doc/dejagnu-report-card.1 | 7 +++++--
doc/dejagnu.1 | 7 +++++--
3 files changed, 15 insertions(+), 6 deletions(-)
diff --git a/doc/dejagnu-help.1 b/doc/dejagnu-help.1
index 073afe7..95dda4a 100644
--- a/doc/dejagnu-help.1
+++ b/doc/dejagnu-help.1
@@ -1,6 +1,9 @@
.\" Copyright (C) 2018 Free Software Foundation, Inc.
-.\" You may distribute this file under the terms of the GNU Free
-.\" Documentation License.
+.\"Permission is granted to copy, distribute and/or modify this document
+.\"under the terms of the GNU Free Documentation License, Version 1.3 or
+.\"any later version published by the Free Software Foundation; with no
+.\"Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
+.\"Texts.
.Dd December 19, 2018
.Os GNU
.Dt DEJAGNU-HELP 1 URM
diff --git a/doc/dejagnu-report-card.1 b/doc/dejagnu-report-card.1
index 2e69fd0..c000c95 100644
--- a/doc/dejagnu-report-card.1
+++ b/doc/dejagnu-report-card.1
@@ -1,6 +1,9 @@
.\" Copyright (C) 2018 Free Software Foundation, Inc.
-.\" You may distribute this file under the terms of the GNU Free
-.\" Documentation License.
+.\"Permission is granted to copy, distribute and/or modify this document
+.\"under the terms of the GNU Free Documentation License, Version 1.3 or
+.\"any later version published by the Free Software Foundation; with no
+.\"Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
+.\"Texts.
.Dd December 31, 2018
.Os GNU
.Dt DEJAGNU-REPORT-CARD 1 URM
diff --git a/doc/dejagnu.1 b/doc/dejagnu.1
index 5ece6c1..e3d66f3 100644
--- a/doc/dejagnu.1
+++ b/doc/dejagnu.1
@@ -1,6 +1,9 @@
.\" Copyright (C) 2018 Free Software Foundation, Inc.
-.\" You may distribute this file under the terms of the GNU Free
-.\" Documentation License.
+.\"Permission is granted to copy, distribute and/or modify this document
+.\"under the terms of the GNU Free Documentation License, Version 1.3 or
+.\"any later version published by the Free Software Foundation; with no
+.\"Invariant Sections, with no Front-Cover Texts, and with no Back-Cover
+.\"Texts.
.Dd December 17, 2018
.Os GNU
.Dt DEJAGNU 1 URM
--
2.43.0
