From 82ec319ea65430bd46806dfbf0bb4bc7491ab8fa Mon Sep 17 00:00:00 2001 From: AnyOldName3 Date: Sun, 8 Jan 2023 21:14:13 +0000 Subject: [PATCH] Use the correct interpreter --- docs/source/conf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/conf.py b/docs/source/conf.py index 87c50d1404..b94ddf0884 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(['sh', project_root + '/docs/source/generate_luadoc.sh']) + subprocess.call(['bash', project_root + '/docs/source/generate_luadoc.sh']) except Exception as e: print('Can\'t generate Lua API documentation:', e)