diff options
| author | unknown <lenz@mysql.com> | 2005-06-01 13:06:15 +0200 |
|---|---|---|
| committer | unknown <lenz@mysql.com> | 2005-06-01 13:06:15 +0200 |
| commit | 853a55ad215db4f44bee4281de57054bf2f7da17 (patch) | |
| tree | 9743f135ac96d82e919eabd5d79bec2fa55539dc /scripts | |
| parent | a0affca7c9c1af6aa43f9b6d50ebff5916a0af2e (diff) | |
| parent | 0d4b118455b1b97e8adc316407e26a8d734d3f04 (diff) | |
| download | mariadb-git-853a55ad215db4f44bee4281de57054bf2f7da17.tar.gz | |
Merge mysql.com:/space/my/mysql-4.0 into mysql.com:/space/my/mysql-4.1
configure.in:
Auto merged
scripts/make_binary_distribution.sh:
Auto merged
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/make_binary_distribution.sh | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scripts/make_binary_distribution.sh b/scripts/make_binary_distribution.sh index 46d1b74d2bf..2f49104ad46 100644 --- a/scripts/make_binary_distribution.sh +++ b/scripts/make_binary_distribution.sh @@ -76,9 +76,6 @@ if [ $BASE_SYSTEM != "netware" ] ; then fi for i in ChangeLog \ - Docs/manual.html \ - Docs/manual.txt \ - Docs/manual_toc.html \ Docs/mysql.info do if [ -f $i ] |