tools: Add publish-book script

XuShaohua · Dec 12, 2023 · a395838 · a395838
1 parent e63a330
commit a395838
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/tools/publish-book.sh b/tools/publish-book.sh
@@ -0,0 +1,11 @@
+#!/bin/bash
+# Copyright (c) 2023 Xu Shaohua <[email protected]>. All rights reserved.
+# Use of this source is governed by General Public License that can be
+# found in the LICENSE file.
+
+# Build and release the book.
+
+set -xe
+
+mdbook build
+rsync --delete -ave "ssh -p ${ZU_SERVER_PORT}" book-out/ ${ZU_SERVER}/algs