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

[Jacob Bachmeyer]

Siddhesh Poyarekar wrote:
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.
  

I am thinking about how best to handle this because those are comments 
that do not appear in the rendered manpages, unlike the copyright block 
in a Texinfo source file.


-- Jacob