diff options
| author | Ulrich Drepper <drepper@redhat.com> | 2001-07-19 07:25:49 +0000 |
|---|---|---|
| committer | Ulrich Drepper <drepper@redhat.com> | 2001-07-19 07:25:49 +0000 |
| commit | fef0b717d0287ab63a0f5a39dabf477c58182492 (patch) | |
| tree | fbd20f595eb783bb206d955a6675ae73f21730c8 /manual/lesser.texi | |
| parent | 91099cf415727b7ff4a920913fabde84dcf7f8fa (diff) | |
Update.
2001-07-19 Ulrich Drepper <drepper@redhat.com>
* Makefile: Add html goal.
* manual/Makefile: Likewise.
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 |