diff options
author | lenz@mysql.com <> | 2005-06-01 13:06:15 +0200 |
---|---|---|
committer | lenz@mysql.com <> | 2005-06-01 13:06:15 +0200 |
commit | e877e71b17e2fefbe46cd9290bbde3aa6a4652bd (patch) | |
tree | 9743f135ac96d82e919eabd5d79bec2fa55539dc /configure.in | |
parent | 92cffda595ebaf54a54f542cfcae29f31bf513aa (diff) | |
parent | 7bd3dd7cb319e901290846544c6a518dfcef0baa (diff) | |
download | mariadb-git-e877e71b17e2fefbe46cd9290bbde3aa6a4652bd.tar.gz |
Merge mysql.com:/space/my/mysql-4.0 into mysql.com:/space/my/mysql-4.1
Diffstat (limited to 'configure.in')
-rw-r--r-- | configure.in | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/configure.in b/configure.in index 269a1ccc354..a5c2e7044fe 100644 --- a/configure.in +++ b/configure.in @@ -1262,16 +1262,10 @@ EOF # echo -n "making sure specific build files are writable... " for file in \ - Docs/include.texi \ Docs/mysql.info \ - Docs/manual.txt \ - Docs/manual_toc.html \ - Docs/manual.html \ Docs/INSTALL-BINARY \ INSTALL-SOURCE \ - COPYING \ - COPYING.LIB \ - MIRRORS + COPYING do if test -e $file; then chmod +w $file |