diff options
Diffstat (limited to 'manual/lesser.texi')
| -rw-r--r-- | manual/lesser.texi | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/manual/lesser.texi b/manual/lesser.texi index 3d5397cfce..778cbb58c0 100644 --- a/manual/lesser.texi +++ b/manual/lesser.texi @@ -1,7 +1,3 @@ -@setfilename lgpl.info - -@set lgpl-appendix - @ifset lgpl-appendix @appendix GNU LESSER GENERAL PUBLIC LICENSE @end ifset |