The make.sh script now does this.

This commit is contained in:
Jordan Bancino 2022-07-23 13:45:15 -04:00
parent 3988c2f9be
commit 35e374677c
1 changed files with 0 additions and 11 deletions

View File

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