diff options
Diffstat (limited to 'docs/man/publish.sh')
| -rwxr-xr-x | docs/man/publish.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/docs/man/publish.sh b/docs/man/publish.sh deleted file mode 100755 index 9435c9e1..00000000 --- a/docs/man/publish.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/sh -# -# Copyright 2020 Staysail Systems, Inc. <info@staysail.tech> -# This software is supplied under the terms of the MIT License, a -# copy of which should be located in the distribution where this -# file was obtained (LICENSE.txt). A copy of the license may also be -# found online at https://opensource.org/licenses/MIT. -# -# -cat <<EOF -*** DO NOT USE THIS SCRIPT *** - -We moved this to the gh-pages branch. - -To publish updates: - - * git checkout the gh-pages branch - * run the _tools/pubrefman.sh script in gh-pages - * _tools/pubrefman.sh can take a tag (e.g. "v1.2.4") as an argument - * push the gh-pages branch - -EOF -exit 1
\ No newline at end of file |