diff options
author | lenz@mysql.com <> | 2005-04-13 11:51:38 +0200 |
---|---|---|
committer | lenz@mysql.com <> | 2005-04-13 11:51:38 +0200 |
commit | 11df4eec8546fc6d6230753f7b5f7b60f2c6d658 (patch) | |
tree | bd09c30932a283c1cd706217258d4049613fddbf /Docs/Flags/germany.txt | |
parent | 06e36472741258f89f58be90a94bf66ad45bb32c (diff) | |
download | mariadb-git-11df4eec8546fc6d6230753f7b5f7b60f2c6d658.tar.gz |
- 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.
Diffstat (limited to 'Docs/Flags/germany.txt')
-rw-r--r-- | Docs/Flags/germany.txt | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/Docs/Flags/germany.txt b/Docs/Flags/germany.txt deleted file mode 100644 index e69de29bb2d..00000000000 --- a/Docs/Flags/germany.txt +++ /dev/null |