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

Merge mysql.com:/bk/mysql-4.1 into mysql.com:/home/greg/bk/4.1

This commit is contained in:
greg@mysql.com
2003-11-18 15:18:02 -05:00

View File

@ -287,7 +287,7 @@ for i in COPYING COPYING.LIB ChangeLog README \
INSTALL-WIN-SOURCE \
Docs/manual_toc.html Docs/manual.html \
Docs/manual.txt Docs/mysqld_error.txt \
Docs/INSTALL-BINARY
Docs/INSTALL-BINARY Docs/internals.texi
do
print_debug "Copying file '$i'"