From 93cf3b186f49536a861cac2dd4d659ade9226703 Mon Sep 17 00:00:00 2001 From: Arjan Dikhoff Date: Thu, 24 Oct 2024 18:07:53 +0200 Subject: [PATCH] Initial version --- build.sh | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100755 build.sh diff --git a/build.sh b/build.sh new file mode 100755 index 000000000000..25950f600fb1 --- /dev/null +++ b/build.sh @@ -0,0 +1,30 @@ +#!/bin/bash + +INPUT_DIR="." +MIGRATE_DIR="_migrated" +SPHINX_DIR="_sphinx" + +BUILD_ROOT="redot-docs-build" +BUILD_DIR="$BUILD_ROOT/en/master" + +touch test.txt +echo 'hello' >> test.txt + +mkdir -p $MIGRATE_DIR +python migrate.py --tiny $INPUT_DIR $MIGRATE_DIR +mkdir -p $SPHINX_DIR +sphinx-build -b html -j 4 $MIGRATE_DIR $SPHINX_DIR + +git clone git@github.com:Redot-Engine/$BUILD_ROOT.git + +echo "mkdir -p $BUILD_DIR" +mkdir -p $BUILD_DIR +echo "cp -r $SPHINX_DIR/* $BUILD_DIR" +cp -r $SPHINX_DIR/* $BUILD_DIR + +cp test.txt $BUILD_DIR +cp test.txt $BUILD_DIR/index.html + +cd $BUILD_DIR +ls -la +git push -f