mirror of
https://github.com/MariaDB/server.git
synced 2026-04-26 18:25:30 +02:00
Merge mysql.com:/Users/kent/mysql/bk/mysql-4.1
into mysql.com:/Users/kent/mysql/bk/mysql-5.0 configure.in: Auto merged
This commit is contained in:
commit
10888499ee
1 changed files with 1 additions and 1 deletions
|
|
@ -2339,7 +2339,7 @@ then
|
||||||
man_dirs="man"
|
man_dirs="man"
|
||||||
man1_files=`ls -1 $srcdir/man/*.1 | sed -e 's;^.*man/;;'`
|
man1_files=`ls -1 $srcdir/man/*.1 | sed -e 's;^.*man/;;'`
|
||||||
man1_files=`echo $man1_files`
|
man1_files=`echo $man1_files`
|
||||||
man8_files=`ls -8 $srcdir/man/*.8 | sed -e 's;^.*man/;;'`
|
man8_files=`ls -1 $srcdir/man/*.8 | sed -e 's;^.*man/;;'`
|
||||||
man8_files=`echo $man8_files`
|
man8_files=`echo $man8_files`
|
||||||
else
|
else
|
||||||
man_dirs=""
|
man_dirs=""
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue