This repository is not maintained anymore in favor of our new infrastructure.
All of the configs can now be edited directly from our web interface which also offer you a way to start new crawls.
If you have not joined your new application yet, please check your emails! :D
If you're looking for a way to add DocSearch to your site, the easiest solution is to apply to DocSearch. If you want to have a look at configurations to run your own scraper you're at the right place.
Please check the dedicated documentation to have the list of all available options along with examples.