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"