CRAWL_ENABLED="yes" CRAWL_INDEX_NAME="manpages" CRAWL_PATHS="/usr/share/man/man1 /usr/share/man/man2 /usr/share/man/man3 /usr/share/man/man4 /usr/share/man/man5 /usr/share/man/man6 /usr/share/man/man7 /usr/share/man/man8 /usr/share/man/man9 /usr/share/man/mann /usr/share/info" 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"