1
0
mirror of https://github.com/MariaDB/server.git synced 2025-07-29 05:21:33 +03:00

Manual merge of the ChangeSet to remove the dependency on manual.texi from the source tree (from 4.0)

This commit is contained in:
lenz@mysql.com
2005-04-13 13:27:06 +02:00
52 changed files with 391 additions and 11005 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 ]