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

Siddhesh Poyarekar wrote:
> From: Siddhesh Poyarekar <[email protected]>
>
> 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