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"
distrib
>
Mandriva
>
current
>
i586
>
media
>
main-updates
>
by-pkgid
>
8e7e6d21d6d59cd93733817c8813d779
>
files
>
5
