From b5d9dcdeee5ca8551c537e68c3286274a17a078b Mon Sep 17 00:00:00 2001 From: Maximilian Hils Date: Sat, 13 Feb 2021 12:29:52 +0100 Subject: [PATCH] fix docs CI --- docs/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/build.py b/docs/build.py index 379d8f976..18c7092c7 100755 --- a/docs/build.py +++ b/docs/build.py @@ -6,7 +6,7 @@ from pathlib import Path here = Path(__file__).parent -for script in (here / "scripts").glob("*.py"): +for script in sorted((here / "scripts").glob("*.py")): print(f"Generating output for {script.name}...") out = subprocess.check_output(["python3", script.absolute()], text=True) if out: