CRAWL_ENABLED="yes" CRAWL_INDEX_NAME="documentation" CRAWL_PATHS="/usr/share/doc /usr/local/share/doc /opt/kde3/share/doc /opt/gnome/share/gnome/help /usr/share/gnome/help /opt/gnome/share/gtk-doc/html /usr/share/gtk-doc/html /usr/share/gnome/html" CRAWL_ALLOW_PATTERNS="*.xml,*.html,*.docbook,*.pdf" 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"
