mirror of
https://github.com/MariaDB/server.git
synced 2026-04-21 15:55:53 +02:00
Merge mysql.com:/Users/kent/mysql/bk/mysql-4.0
into mysql.com:/Users/kent/mysql/bk/mysql-4.1 configure.in: Auto merged
This commit is contained in:
commit
66716f0984
1 changed files with 1 additions and 1 deletions
|
|
@ -2380,7 +2380,7 @@ then
|
|||
man_dirs="man"
|
||||
man1_files=`ls -1 $srcdir/man/*.1 | sed -e 's;^.*man/;;'`
|
||||
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`
|
||||
else
|
||||
man_dirs=""
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue