simplify publish script

smogon · Apr 16, 2020 · 7f2837d · 7f2837d
1 parent 18910c7
commit 7f2837d
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/publish b/publish
@@ -2,23 +2,19 @@
 
 # Setup
 
-TMP=$(mktemp -qdt "$(basename $0).XXXXXX" 2>/dev/null || mktemp -q -d)
-trap "rm -rf $TMP" 0
-
 rev=$(git rev-parse --short HEAD | tr -d "\n")
 
 # Build
 
 node build
-cp -a dist/ $TMP
 
 # Checkout: master -> gh-pages
 
 git checkout gh-pages
 
 # Publish
 
-cp -a $TMP/* .
+cp -a dist/* .
 
 git add -A .
 git commit -m "Publish: '${rev}'"