diff --git a/tools/publish-book.sh b/tools/publish-book.sh deleted file mode 100755 index b1bb6227..00000000 --- a/tools/publish-book.sh +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/bash -# Copyright (c) 2023 Xu Shaohua . 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