From be39bb5f0da6a4edc57e143430694ca31130a632 Mon Sep 17 00:00:00 2001
From: Arjan Dikhoff <dikhoff@gmail.com>
Date: Wed, 16 Oct 2024 16:17:17 +0200
Subject: [PATCH] Try sphinx

---
 README.md | 2 +-
 build.py  | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 707c3a67d9c..2b2a4ea1a99 100644
--- a/README.md
+++ b/README.md
@@ -22,7 +22,7 @@ the ZIP archive then open the `RedotEngine.epub` file in an e-book reader applic
 
 We are transitioning from Godot to Redot. In this period, a temporary solution is available.
 ```
-python migrate.py . _migrated True
+python migrate.py . _migrated
 ```
 
 After the docs are converted, you can build with
diff --git a/build.py b/build.py
index f2ff014c0f3..9309c22d506 100644
--- a/build.py
+++ b/build.py
@@ -64,8 +64,8 @@ def build():
     print("Printing dir again")
     os.system("ls -la")
 
-    print("See if we have Wrangler")
-    os.system("wrangler --version")
+    print("See if we have Sphinx")
+    os.system("sphinx-build -b html ./_migrated/ _build/html")
     print(parser.epilog)
 
 if __name__ == "__main__":