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 /scripts | |
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 'scripts')
-rw-r--r-- | scripts/make_win_src_distribution.sh | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/scripts/make_win_src_distribution.sh b/scripts/make_win_src_distribution.sh index 9aca62527e6..0800fec1ac6 100644 --- a/scripts/make_win_src_distribution.sh +++ b/scripts/make_win_src_distribution.sh @@ -275,9 +275,7 @@ cd $SOURCE for i in COPYING ChangeLog README EXCEPTIONS-CLIENT\ INSTALL-SOURCE INSTALL-WIN \ INSTALL-WIN-SOURCE \ - Docs/manual_toc.html Docs/manual.html \ - Docs/manual.txt Docs/mysqld_error.txt \ - Docs/INSTALL-BINARY Docs/internals.texi + Docs/INSTALL-BINARY do print_debug "Copying file '$i'" @@ -297,8 +295,7 @@ cp support-files/*.cnf $BASE/support-files # Raw dirs from source tree # -for i in Docs/Flags scripts sql-bench SSL \ - tests +for i in scripts sql-bench SSL tests do print_debug "Copying directory '$i'" if [ -d $i ] |