- 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.

Docs/mysql.info

@@ -0,0 +1,27 @@
+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