From 35e374677ca6cbad55b081d919e4c76c12d0ceee Mon Sep 17 00:00:00 2001
From: Jordan Bancino <jordan@bancino.net>
Date: Sat, 23 Jul 2022 13:45:15 -0400
Subject: [PATCH] The make.sh script now does this.

---
 release/update-site.sh | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 release/update-site.sh

diff --git a/release/update-site.sh b/release/update-site.sh
deleted file mode 100644
index 64119ed..0000000
--- a/release/update-site.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env sh
-
-if [ -z "$TELODENDRIA_PUB" ]; then
-	echo "No public root directory specified."
-	echo "Set TELODENDRIA_PUB."
-	exit 1
-fi
-
-cp "Telodendria.css" "$TELODENDRIA_PUB/"
-cp "Telodendria.html" "$TELODENDRIA_PUB/index.html"
-cp "release/telodendria-signify.pub" "$TELODENDRIA_PUB/"