1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-30 16:24:05 +03:00

- After merge fixes

This commit is contained in:
lenz@mysql.com
2005-04-13 19:46:26 +02:00
72 changed files with 396 additions and 14696 deletions

View File

@ -289,9 +289,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'"
if [ -f $i ]