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

- removed the Docs/Flags and Docs/RawFlags directories

- Updated Docs/Makefile.am and scripts/make_win_src_distribution.sh
   accordingly
This commit is contained in:
lenz@mysql.com
2004-10-07 18:30:56 +02:00
parent 983bb74cda
commit 7c18f064e6
389 changed files with 2 additions and 4933 deletions

View File

@ -306,8 +306,7 @@ done
# Raw dirs from source tree
#
for i in Docs/Flags scripts sql-bench SSL \
tests
for i in scripts sql-bench SSL tests
do
print_debug "Copying directory '$i'"
if [ -d $i ]