bug-gnulib
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

gpl and lgpl texi


From: Simon Josefsson
Subject: gpl and lgpl texi
Date: Mon, 04 Sep 2006 17:50:58 +0200
User-agent: Gnus/5.110006 (No Gnus v0.6) Emacs/22.0.50 (gnu/linux)

I'm looking at the texi output from gpl.texi and lgpl.texi, especially
PDF, and they are not very nice.

Reasons:

* GPL and LGPL titles are all in upper case.

* gpl.texi uses @unnumbered instead of @appendixsec, which both
  fdl.texi and lgpl.texi does.  The consequence is that GPL look
  different in the table of contents.

* Neither gpl.texi and lgpl.texi use @appendixsubsec for the "How to
  apply these terms to X..." section, which fdl.texi does.  This makes
  the title end up in the table of contents for GFDL, the title
  happens to line wrap, and with only one sub-section, the table of
  contents look typographically bad to me.

How about the patch below?  It will allow you to have a texi snippet
like:

@node Copying Information
@appendix Copying Information

@menu
* GNU Free Documentation License::      License for copying this manual
* Library Copying::                     License for copying the library
* Copying::                             License for copying the programs
@end menu

@include fdl.texi
@include lgpl.texi
@include gpl.texi

The only remaining issue may be the node name in fdl.texi, which isn't
consistent with gpl.texi or lgpl.texi node names.  But I'm not sure it
is a good idea to change node names, they affect file names in some
output formats (HTML).

--- lgpl.texi   16 Jun 2006 17:35:17 +0200      1.4
+++ lgpl.texi   04 Sep 2006 17:39:57 +0200      
@@ -1,5 +1,5 @@
 @node Library Copying
address@hidden GNU LESSER GENERAL PUBLIC LICENSE
address@hidden GNU Lesser General Public License
 
 @cindex LGPL, Lesser General Public License
 @center Version 2.1, February 1999
--- gpl.texi    16 Jun 2006 17:35:17 +0200      1.4
+++ gpl.texi    04 Sep 2006 17:39:43 +0200      
@@ -1,5 +1,5 @@
 @node Copying
address@hidden GNU GENERAL PUBLIC LICENSE
address@hidden GNU General Public License
 @center Version 2, June 1991
 
 @c This file is intended to be included in another file.
--- fdl.texi    16 Jun 2006 17:35:17 +0200      1.7
+++ fdl.texi    04 Sep 2006 17:44:04 +0200      
@@ -408,7 +408,7 @@
 @end enumerate
 
 @page
address@hidden ADDENDUM: How to use this License for your documents
address@hidden Addendum: How to use this License for your documents
 
 To use this License in a document you have written, include a copy of
 the License in the document and put the following copyright and




reply via email to

[Prev in Thread] Current Thread [Next in Thread]