CRAWL_ENABLED="no"

CRAWL_INDEX_NAME="monodoc"

CRAWL_PATHS="/usr/lib/monodoc/sources /usr/local/lib/monodoc/sources"

# Indexing Mono.zip will take a long time. It might be a good idea to add Mono.zip to deny patterns.

CRAWL_DENY_PATTERNS="*.source,*.tree"

CRAWL_RECURSIVE="yes"

CRAWL_DISABLE_FILTERING="no"

CRAWL_DISABLE_DIRECTORIES="yes"

CRAWL_DISABLE_ON_BATTERY="yes"

CRAWL_CACHE_TEXT="no"

CRAWL_REMOVE_DELETED_FILES="yes"
