Updated to Docsy HEAD

This updates the vendored docsy to https://github.com/google/docsy/tree/1a09abe6d7eaf02e44f79de3eadf8178a3792e81

1 files changed, 17 insertions, 0 deletions

diff --git a/themes/docsy/userguide/deploy.sh b/themes/docsy/userguide/deploy.sh
new file mode 100755
index 000000000..a2c28f6b5
--- /dev/null
+++ b/themes/docsy/userguide/deploy.sh
@@ -0,0 +1,17 @@
+#Copyright 2018 Google LLC
+#
+#Licensed under the Apache License, Version 2.0 (the "License");
+#you may not use this file except in compliance with the License.
+#You may obtain a copy of the License at
+#
+#    https://www.apache.org/licenses/LICENSE-2.0
+#
+#Unless required by applicable law or agreed to in writing, software
+#distributed under the License is distributed on an "AS IS" BASIS,
+#WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+#See the License for the specific language governing permissions and
+#limitations under the License.
+#
+rm -rf public/
+HUGO_ENV="production" hugo --gc || exit 1
+s3deploy -source=public/ -region=eu-west-1 -bucket=bep.is -distribution-id=E8OKNT7W9ZYZ2 -path temp/td