diff options
| author | Jack Lloyd <[email protected]> | 2017-12-04 11:00:18 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-12-04 11:00:18 -0500 |
| commit | 683e105ad25fd862857eee51cd0ac757c45a86f8 (patch) | |
| tree | 865cba15b335a6cbcfa2387e74b7a1d4e4992ee5 /src/scripts/ci_build.py | |
| parent | 02ffbef947f65402c2fa24e6136d9c750cc2970e (diff) | |
| parent | 6713f6363033ed45d7ced49c2e8cb6240334ea7a (diff) | |
Merge GH #1333 Add script to build docs
Diffstat (limited to 'src/scripts/ci_build.py')
| -rwxr-xr-x | src/scripts/ci_build.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/scripts/ci_build.py b/src/scripts/ci_build.py index 9a8b2fafc..8c1645d3e 100755 --- a/src/scripts/ci_build.py +++ b/src/scripts/ci_build.py @@ -366,6 +366,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'] |