From cdc47dd33aff3ff51e932a043db8910ccca96a64 Mon Sep 17 00:00:00 2001
From: Justin Smith <justsmth@amazon.com>
Date: Fri, 10 May 2024 16:29:50 -0400
Subject: [PATCH] Deploy documentation

---
 .github/workflows/deploy-docs.yml | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 .github/workflows/deploy-docs.yml

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
new file mode 100644
index 00000000000..e5194c94663
--- /dev/null
+++ b/.github/workflows/deploy-docs.yml
@@ -0,0 +1,30 @@
+name: Deploy Documentation
+on:
+  push:
+    branches:
+      - main
+      - deploy-docs
+    tags:
+      - v1.*
+jobs:
+  deploy-user-guide:
+    if: github.repository == 'aws/aws-lc-rs'
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          persist-credentials: false
+          submodules: 'recursive'
+      - uses: actions/setup-go@v4
+        with:
+          go-version: '>=1.18'
+      - name: Build Docs
+        run: |
+          mkdir html
+          cd ./util
+          go run doc.go --config doc.config --out ../html
+          cd ..
+      - name: Deploy Docs
+        uses: JamesIves/github-pages-deploy-action@v4
+        with:
+          folder: html