diff --git a/docs/source/conf.py b/docs/source/conf.py index 7f2affbb75..87c50d1404 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -151,7 +151,7 @@ def setup(app): app.add_stylesheet('figures.css') app.add_stylesheet('luadoc.css') try: - subprocess.call(project_root + '/docs/source/generate_luadoc.sh') + subprocess.call(['sh', project_root + '/docs/source/generate_luadoc.sh']) except Exception as e: print('Can\'t generate Lua API documentation:', e)