Tweak

lesteve · lesteve · commit 75376cfae200 · 2024-05-30T08:00:11.000+02:00
diff --git a/spin/cmds/meson.py b/spin/cmds/meson.py
@@ -858,7 +858,8 @@ def docs(
             fg="bright_blue",
         )
 
-    make_cmd = "make.bat" if sys.platform == "win32" else "make"
+    make_bat_exists = (Path(doc_dir) / "make.bat").exists()
+    make_cmd = "make.bat" if sys.platform == "win32" and make_bat_exists else "make"
     _run([make_cmd, sphinx_target], cwd=doc_dir, replace=True)
 
 

Original file line number	Diff line number	Diff line change
`@@ -858,7 +858,8 @@ def docs(`
`858`	`858`	`fg="bright_blue",`
`859`	`859`	`)`
`860`	`860`
`861`		`- make_cmd = "make.bat" if sys.platform == "win32" else "make"`
	`861`	`+ make_bat_exists = (Path(doc_dir) / "make.bat").exists()`
	`862`	`+ make_cmd = "make.bat" if sys.platform == "win32" and make_bat_exists else "make"`
`862`	`863`	`_run([make_cmd, sphinx_target], cwd=doc_dir, replace=True)`
`863`	`864`
`864`	`865`