[PATCH] Use GFDL 1.3 or later text for man pages

[Siddhesh Poyarekar]

From: Siddhesh Poyarekar <siddhesh@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