[bug-mailutils] @copying in mailutils.texi & FDL

[Wojciech Polak]

From: Texinfo 4.3 NEWS file

 *** IMPORTANT NEWS FOR ALL AUTHORS OF TEXINFO MANUALS ***
 As of version 4.2, Texinfo has a new command @copying to define the
 copyright and copying permissions for a manual.  It's important to
 switch to using it as soon as possible (as in your next release),
 because the historical method of doing copyright permissions using
 @ifinfo failed to output copyright information in the HTML (or XML)
 formats.
 *** END ***

That's why I have modified mailutils.texi to support the @copying.
Please upgrade your Texinfo to 4.3 and TeX to a modern version
(if you want to generate mailutils.info file).

Another issue is GNU Mailutils Manual license. Is it FDL, or not?
>From the README file it seems that it is FDL, but from
mailutils.texi it doesn't:

 Permission is granted to make and distribute verbatim copies of
 this manual provided the copyright notice and this permission notice
 are preserved on all copies.

 Permission is granted to copy and distribute modified versions of this
 manual under the conditions for verbatim copying, provided that the entire
 resulting derived work is distributed under the terms of a permission
 notice identical to this one.

 Permission is granted to copy and distribute translations of this manual
 into another language, under the above conditions for modified versions,
 except that this permission notice may be stated in a translation approved
 by the Foundation.

If it is FDL, then it should be something like this:

 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.1 or
 any later version published by the Free Software Foundation; with no
 Invariant Sections, with the Front-Cover texts being ``A GNU Manual'',
 and with the Back-Cover Texts as in (a) below.  A copy of the license
 is included in the section entitled ``GNU Free Documentation License''.

 (a) The FSF's Back-Cover Text is: ``You have freedom to copy and modify
 this GNU Manual, like GNU software.  Copies published by the Free
 Software Foundation raise funds for GNU development.''

I can fix this of course, but please write about it.

Thanks,
Wojciech Polak