mirror of
https://github.com/MariaDB/server.git
synced 2026-04-20 23:35:32 +02:00
Merge jcole@work.mysql.com:/home/bk/mysql
into ham.spaceapes.com:/usr/home/jcole/bk/mysql Docs/manual.texi: Auto merged
This commit is contained in:
commit
d17e3dde9c
1 changed files with 4 additions and 1 deletions
|
|
@ -43,7 +43,10 @@ END-INFO-DIR-ENTRY
|
|||
@sp 10
|
||||
@center @titlefont{@strong{MySQL} Reference Manual}
|
||||
@sp 10
|
||||
@center Copyright @copyright{} 1997, 1998, 1999, 2000 TcX AB, Detron HB and MySQL Finland AB
|
||||
@center Copyright @copyright{} 1997-2000 TcX AB, Detron HB and MySQL Finland AB
|
||||
@c blank page after title page makes page 1 be a page front.
|
||||
@c also makes the back of the title page blank.
|
||||
@page
|
||||
@end titlepage
|
||||
|
||||
@c This should be added. The HTML conversion also needs a MySQL version
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue