From 734a860a43a5655397a7839eb3ca8c965373b2b7 Mon Sep 17 00:00:00 2001
From: Arjan Dikhoff <noreply_build_worker@cloudflare.com>
Date: Fri, 25 Oct 2024 22:16:31 +0200
Subject: [PATCH] First real build

---
 build.sh  | 9 +++------
 index.rst | 4 ++--
 2 files changed, 5 insertions(+), 8 deletions(-)

diff --git a/build.sh b/build.sh
index 3f373656f735..474658e811e5 100755
--- a/build.sh
+++ b/build.sh
@@ -1,7 +1,6 @@
 #!/bin/bash
 
 # Init env vars
-
 date=`date`
 workDir=`pwd`
 sshCommand="ssh -v" # Add -v, -vv, or -vvv for verbose debugging
@@ -25,7 +24,6 @@ liveRepo="git@github.com:Redot-Engine/$liveRoot.git"
 buildDir="html/en/$gitBranch" # TODO: implement i18n support
 
 # Report vars and intention
-
 echo "Building $gitCommitMessage"
 echo "Live branch: $redotDocsLiveBranch"
 echo "Live root: $liveRoot, live repo: $liveRepo, build dir: $buildDir, report dir: $reportDir"
@@ -36,15 +34,13 @@ rm -rf $migrateDir
 rm -rf $sphinxDir
 rm -rf $repoDir
 
-# Init git
-
 echo "Migrate Godot to Redot"
 mkdir -p $migrateDir
-# python migrate.py $inputDir $migrateDir
+python migrate.py $inputDir $migrateDir
 
 echo "Translate to html"
 mkdir -p $sphinxDir
-# sphinx-build -b html -j 4 $migrateDir $sphinxDir
+sphinx-build -b html -j 4 $migrateDir $sphinxDir
 
 echo "DUMMY FILE FOR TESTING: $date" > $sphinxDir/test.html
 
@@ -77,6 +73,7 @@ then
     chmod 0644 ~/.ssh/known_hosts
     chmod 0755 ~/.ssh
     
+    # Init git
     git remote set-url origin git@github.com:Redot-Engine/redot-docs-live.git
 
     echo "Setting credentials"
diff --git a/index.rst b/index.rst
index db427c20f789..34e8add98e79 100644
--- a/index.rst
+++ b/index.rst
@@ -1,7 +1,7 @@
 :allow_comments: False
 
-Godot Docs – *master* branch - experimental
-===========================================
+Godot Docs – *master* branch
+============================
 
 Welcome to the official documentation of `Godot Engine <https://godotengine.org>`__,
 the free and open source community-driven 2D and 3D game engine! If you are new