From d061e383d01983914adf29decb69151d37eae6c3 Mon Sep 17 00:00:00 2001
From: Aaron Markham <markhama@amazon.com>
Date: Tue, 18 Dec 2018 16:22:03 -0800
Subject: [PATCH] local docs build feature

---
 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())
-