mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-04-22 08:15:31 +02:00
Code Issues Projects Releases Packages Wiki Activity

configure.in:

Browse source 
Corrected typo


configure.in:
  Corrected typo
This commit is contained in:
unknown 2006-07-29 17:24:48 +02:00
commit 189a687971
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
configure.in
View file

@ -2218,7 +2218,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=""