mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-04 06:05:32 +02:00
Code Issues Projects Releases Packages Wiki Activity

Merge mysql.com:/space/my/mysql-4.0 into mysql.com:/space/my/mysql-4.1

Browse source 
configure.in:
  Auto merged
scripts/make_binary_distribution.sh:
  Auto merged
This commit is contained in:
unknown 2005-06-01 13:06:15 +02:00
commit 853a55ad21
3 changed files with 1 additions and 273 deletions
Download patch file Download diff file Expand all files Collapse all files

3
scripts/make_binary_distribution.sh
View file

@ -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 ]