Patch enclosed to fix the issue.
index 83669ca..e8d15da 100644 --- a/doc/gpl-2.0.texi +++ b/doc/gpl-2.0.texi @@ -17,7 +17,7 @@ Everyone is permitted to copy and distribute verbatim copies of this license document, but changing it is not allowed. @end display -@appendixsubsec Preamble +@appendixsec Preamble The licenses for most software are designed to take away your freedom to share and change it. By contrast, the GNU General Public @@ -68,7 +68,7 @@ patent must be licensed for everyone's free use or not licensed at all. modification follow. @iftex -@appendixsubsec TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION +@appendixsec TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION @end iftex @ifinfo @center GNU GENERAL PUBLIC LICENSE @@ -333,7 +333,7 @@ POSSIBILITY OF SUCH DAMAGES. @end ifinfo @page -@appendixsubsec Appendix: How to Apply These Terms to Your New Programs +@appendixsec Appendix: How to Apply These Terms to Your New Programs If you develop a new program, and you want it to be of the greatest possible use to the public, the best way to achieve this is to make it
