diff options
Diffstat (limited to 'test/sanity/code-smell/docs-build.py')
| -rwxr-xr-x | test/sanity/code-smell/docs-build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/sanity/code-smell/docs-build.py b/test/sanity/code-smell/docs-build.py index 688ce3541c..80eca15f7e 100755 --- a/test/sanity/code-smell/docs-build.py +++ b/test/sanity/code-smell/docs-build.py @@ -30,7 +30,7 @@ def main(): f.writelines(lines) try: - cmd = ['make', 'base_singlehtmldocs'] + cmd = ['make', 'core_singlehtmldocs'] sphinx = subprocess.Popen(cmd, stdout=subprocess.PIPE, stderr=subprocess.PIPE, cwd=docs_dir) stdout, stderr = sphinx.communicate() finally: |