mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 04:53:01 +01:00
A few random fixes to manual.texi.
This commit is contained in:
parent
5c282e3738
commit
05c8979388
1 changed files with 4 additions and 4 deletions
|
@ -52027,7 +52027,7 @@ as the successor of the GNU Library Public License, version 2, hence the
|
|||
version number 2.1.]
|
||||
@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
|
||||
|
@ -52130,7 +52130,7 @@ former contains code derived from the library, whereas the latter must
|
|||
be combined with the library in order to run.
|
||||
|
||||
@iftex
|
||||
@appendixsubsec TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
|
||||
@appendixsec TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION
|
||||
@end iftex
|
||||
@ifinfo
|
||||
@center GNU LESSER GENERAL PUBLIC LICENSE
|
||||
|
@ -52526,7 +52526,7 @@ DAMAGES.
|
|||
@end ifinfo
|
||||
|
||||
@page
|
||||
@appendixsubsec How to Apply These Terms to Your New Libraries
|
||||
@appendixsec How to Apply These Terms to Your New Libraries
|
||||
|
||||
If you develop a new library, and you want it to be of the greatest
|
||||
possible use to the public, we recommend making it free software that
|
||||
|
@ -52575,10 +52575,10 @@ Ty Coon, President of Vice
|
|||
|
||||
That's all there is to it!
|
||||
|
||||
|
||||
@node Placeholder, Function Index, LGPL license, Top
|
||||
@appendix Pieces of the manual in transit
|
||||
|
||||
|
||||
@menu
|
||||
* Installing binary::
|
||||
* Building clients::
|
||||
|
|
Loading…
Reference in a new issue