This website requires JavaScript.
Explore
Help
Sign in
mirror
/
mariadb
Watch
1
Star
0
Fork
You've already forked mariadb
0
mirror of
https://github.com/MariaDB/server.git
synced
2025-01-28 01:34:17 +01:00
Code
Issues
Projects
Releases
Packages
Wiki
Activity
Actions
f6dfd7d7bb
mariadb
/
Docs
/
mysql.info
4 lines
89 B
Text
Raw
Normal View
History
Unescape
Escape
- manual.texi will be replaced with a manual written in DocBook/XML. This ChangeSet removes all 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.
2005-04-13 11:51:38 +02:00
mysql.info, INSTALL-BINARY, INSTALL-SOURCE, ReadMe.txt, Docs/Makefile.am: Let place holders for real documentation have text that makes sense to the user (Bug#25205)
2007-11-02 12:29:13 +01:00
The MySQL Reference Manual is available in various formats on
Bug 16633169 - MYSQL.INFO CONTAINS OUTDATED INFORMATION.
2013-04-16 12:12:18 +02:00
http://dev.mysql.com/doc.
Reference in a new issue
Copy permalink