Deploying to gh-pages from @ d4d163a 🚀

Lean-zh · Jun 2, 2024 · 3da0830 · 3da0830
1 parent 9fc0011
commit 3da0830
Showing 1 changed file with 18 additions and 18 deletions.
diff --git a/deploy.sh b/deploy.sh
@@ -1,18 +1,18 @@
-#!/usr/bin/env bash
-set -e
-
-# Build
-mdbook build
-rm -rf out/.git
-
-# 3. Deploy
-rm -rf deploy
-mkdir deploy
-cd deploy
-git init
-cp -r ../out/./ .
-git add -A
-git commit -m "Update `date`"
-git push https://github.com/leanprover/theorem_proving_in_lean4.git +HEAD:gh-pages
-cd ..
-rm -rf deploy
+#!/usr/bin/env bash
+set -e
+
+# Build
+mdbook build
+rm -rf out/.git
+
+# 3. Deploy
+rm -rf deploy
+mkdir deploy
+cd deploy
+git init
+cp -r ../out/./ .
+git add -A
+git commit -m "Update `date`"
+git push https://github.com/Lean-zh/tp-lean-zh.git +HEAD:gh-pages
+cd ..
+rm -rf deploy