[docs] Add infrastructure for continuous deployment
Add a Cloud Build configuration that builds and deploys the
documentation site, as well as a Dockerfile for creating a
pre-configured builder that can build the docs from scratch very
quickly.
Signed-off-by: Garret Kelly <gdk@google.com>
diff --git a/site/docs/README.md b/site/docs/README.md
new file mode 100644
index 0000000..d586e15
--- /dev/null
+++ b/site/docs/README.md
@@ -0,0 +1,12 @@
+# Documentation Site
+This directory contains the configuration required to build and deploy the
+[documentation site](https://docs.opentitan.org) as well as the continuous
+deployment configuration that pushes a rebuilt copy of the documentation after
+every commit.
+
+# Documentation Builder
+In order to speed up the deployment there is a GCR image
+(`gcr.io/active-premise-257318/builder`) that contains all of the project's
+python requirements pre-installed. This cuts the deployment from several
+minutes to around twenty seconds. To rebuild and deploy the image use the
+`deploy-builder.sh` script.
