From 20563db49fb823ef331822e6795849d01ce0df3b Mon Sep 17 00:00:00 2001 From: Jack Lloyd Date: Sun, 3 Dec 2017 13:20:30 -0500 Subject: Add a script for generating the documentation --- src/scripts/ci_build.py | 1 + 1 file changed, 1 insertion(+) (limited to 'src/scripts/ci_build.py') diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 74c6a7bfb..c81c86795 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -364,6 +364,7 @@ def main(args=None): 'src/scripts/ci_build.py', 'src/scripts/install.py', 'src/scripts/cleanup.py', + 'src/scripts/build_docs.py', 'src/scripts/website.py', 'src/scripts/python_unittests.py', 'src/scripts/python_unittests_unix.py'] -- cgit v1.2.3