diff --git a/docs/build.py b/docs/build.py index d8c3e944c..2f0677f81 100755 --- a/docs/build.py +++ b/docs/build.py @@ -1,13 +1,16 @@ #!/usr/bin/env python3 import shutil import subprocess +import sys from pathlib import Path here = Path(__file__).parent for script in sorted((here / "scripts").glob("*.py")): print(f"Generating output for {script.name}...") - out = subprocess.check_output(["python3", script.absolute()], cwd=here, text=True) + out = subprocess.check_output( + [sys.executable, script.absolute()], cwd=here, text=True + ) if out: (here / "src" / "generated" / f"{script.stem}.html").write_text( out, encoding="utf8"