Move deployment away from Github to private serverHEADmaster

1 files changed, 5 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index a76e77e..569c133 100644
--- a/Makefile
+++ b/Makefile
@@ -32,3 +32,8 @@ update-fossil: # Update Fossil projects
 
 update-github: # Update GitHub projects
         cd tools && python github-projects.py
+
+deploy:
+        -rm public/
+        jbmafp --build
+        rsync -avz --delete --progress ./public/ web@mitjafelicijan.com:/home/web/htdocs/