Linking from GitHub Pages to Netlify, removing generated docs from repo

Since Netlify can build our docs for us, there should be no need for us
to retain the generated files in this repo. This removes a lot of the
custom logic for building docs since it will no longer be necessary. It
also adds back search functionality since we no longer need to worry
about conflicts.

Author: robscott

.gitignore

@@ -49,5 +49,4 @@ Session.vim
 .vscode
 /www/test_out
 .*.timestamp
-/docs/sitemap.xml
-/docs/sitemap.xml.gz
+/site

Makefile

@@ -67,9 +67,11 @@ verify:
 # Build the documentation.
 .PHONY: docs
 docs:
+	# Ensure site dir exists
+	mkdir -p site
 	# Generate docs with mkdocs
 	mkdocs build
 	# Generate API docs
-	./hack/api-docs/generate.sh docs/genspec.html
+	./hack/api-docs/generate.sh site/genspec.html
 	# Add them to spec page originally generated by mkdocs
-	sed -i -e '/REPLACE_WITH_GENERATED_CONTENT/{r docs/genspec.html' -e 'd}' docs/spec/index.html
+	sed -i -e '/REPLACE_WITH_GENERATED_CONTENT/{r site/genspec.html' -e 'd}' site/spec/index.html