mirror of
https://github.com/php/php-src.git
synced 2024-10-14 13:02:37 +00:00
10 lines
267 B
Plaintext
10 lines
267 B
Plaintext
|
# $Source$
|
||
|
# $Id$
|
||
|
|
||
|
define_option with-mnogosearch 'mnoGoSearch support?' yesnodir \
|
||
|
'no /usr/local/udmsearch mnoGoSearch install' \
|
||
|
' Whether to build PHP with mnoGoSearch support.
|
||
|
More info about mnoGoSearch can be found at http://search.mnogo.ru/.'
|
||
|
|
||
|
|
||
|
|