3
CRAWL_INDEX_NAME="monodoc"
5
CRAWL_PATHS="/usr/lib/monodoc/sources /usr/local/lib/monodoc/sources"
7
# Indexing Mono.zip will take a long time. It might be a good idea to add Mono.zip to deny patterns.
9
CRAWL_DENY_PATTERNS="*.source,*.tree"
13
CRAWL_DISABLE_FILTERING="no"
15
CRAWL_DISABLE_DIRECTORIES="yes"
17
CRAWL_DISABLE_ON_BATTERY="yes"
21
CRAWL_REMOVE_DELETED_FILES="yes"