diff options
| -rw-r--r-- | manual/lesser.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manual/lesser.texi b/manual/lesser.texi index 778cbb58c0..b8c273f980 100644 --- a/manual/lesser.texi +++ b/manual/lesser.texi @@ -1,8 +1,8 @@ @ifset lgpl-appendix -@appendix GNU LESSER GENERAL PUBLIC LICENSE +@appendix GNU Lesser General Public License @end ifset @ifclear lgpl-appendix -@unnumbered GNU LESSER GENERAL PUBLIC LICENSE +@unnumbered GNU Lesser General Public License @end ifclear @cindex LGPL, Lesser General Public License |