* fixing typo
* keeping same convention
* avoid wrong use of word crawling
* removing superfluous comment
* make the documentation more explicit to prevent error in the key usage, introduces feedback from algolia/docsearch-scraper#438, give instruction about how to use the headless chrome
* add synonym, resolves#640
* precise sitemap
* fix typos
* removing unavailable anchor
* fixing wrong URL
* resolves#518 by removing unwanted char from anchors
* fixing linter issues
* fix remark-lint warning
This re-enable deploy-previews through Netlify. It will check if
changes where made to the ./docs folder and build + deploy the preview
if so. Otherwise, it will deploy a dummy preview.
This also removes the netlify script to deploy in production whenever
we push to master, as this is now handled by Travis.
It seems that Netlify is having some caching of the git remote and while this PR was working fine when I submitted it, it now fails as it has forgotten which remote to use.
I'm going to go and accept it, in order to group all the code that deals with Netlify in the same branch, allowing me to better have them work together.
