Add script for publishing website

shrinerb · Apr 29, 2024 · ef636ce · ef636ce
1 parent 2fdcb17
commit ef636ce
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/bin/publish b/bin/publish
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+cd website
+npm run build
+cd ..
+git switch gh-pages
+cp -R website/build/* .
+git add --all
+git commit -m "Update website"
+git push origin gh-pages
+git switch master