From 0b7ee395e832165b2e7726231cc12bb06b3bbe5b Mon Sep 17 00:00:00 2001
From: Garrett D'Amore <garrett@damore.org>
Date: Sun, 2 Aug 2020 11:58:44 -0700
Subject: fixes #1270 Move web page publication tool to main branch

---
 docs/man/publish.sh | 23 -----------------------
 1 file changed, 23 deletions(-)
 delete mode 100755 docs/man/publish.sh

(limited to 'docs/man/publish.sh')

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
-- 
cgit v1.2.3-70-g09d2