This is mysql.info, produced by makeinfo version 4.8 from manual.texi.
START-INFO-DIR-ENTRY
* mysql: (mysql). MySQL documentation.
END-INFO-DIR-ENTRY
File: mysql.info, Node: Top, Next: (dir), Prev: (dir), Up: (dir)
This is an empty placeholder file for the MySQL manual.
The MySQL manual is now maintained in a separate BitKeeper source tree!
Please see `http://www.mysql.com/doc/en/Installing_source_tree.html'
for more info on how to work with BitKeeper.
This file will be replaced with the current `mysql.info' when building
the official source distribution.
You can find a specific manual for any older version of MySQL in the
binary or source distribution for that version.
Tag Table:
Node: Top166
End Tag Table
-
lenz@mysql.com authored
references to the .texi file and the build targets that depend on manual.texi as the input file. - added COPYING as a regular file instead of creating it during the build. This ensures that it's part of the sources when pulling from BK (it used to be extracted from the manual) - Removed a lot of cruft and unused/obsolete stuff from the Docs directory (e.g. Flags, Images) - added a dummy mysql.info placeholder file (the info file is still used as the source to extract various text files during the build). It will be replaced with a "real" file during the Bootstrap process to create the official source distribution - the placeholder just satisfies build dependencies.
11df4eec