From 480d29fbd5b3a1c38d0b5bf5ac745cbee247da61 Mon Sep 17 00:00:00 2001
From: Aaron Markham <markhama@amazon.com>
Date: Fri, 4 Jan 2019 15:31:11 +0100
Subject: [PATCH] local docs build feature (#13682)

---
 dev_menu.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dev_menu.py b/dev_menu.py
index ebffe14f7620..79202dd7d5d5 100755
--- a/dev_menu.py
+++ b/dev_menu.py
@@ -115,6 +115,8 @@ def create_virtualenv_default():
         CMake(),
         create_virtualenv_default,
     ]),
+    ('[Website and docs build] Will build to docs/_build/html/',
+        "ci/docker/runtime_functions.sh deploy_docs"),
     ('[Docker] sanity_check. Check for linting and code formatting.',
         "ci/build.py --platform ubuntu_cpu /work/runtime_functions.sh sanity_check"),
     ('[Docker] Python3 CPU unittests',
@@ -225,4 +227,3 @@ def main():
 
 if __name__ == '__main__':
     sys.exit(main())
-