diff --git a/docs/source/conf.py b/docs/source/conf.py index 7f2affbb75..27742e0e72 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -152,6 +152,9 @@ def setup(app): app.add_stylesheet('luadoc.css') try: subprocess.call(project_root + '/docs/source/generate_luadoc.sh') + except Exception: + # Running on Windows? + subprocess.call(['sh', project_root + '/docs/source/generate_luadoc.sh']) except Exception as e: print('Can\'t generate Lua API documentation:', e)