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/"