diff --git a/Makefile b/Makefile index 6f7eb2d..725967d 100644 --- a/Makefile +++ b/Makefile @@ -9,5 +9,11 @@ generate: ./generate.py push: + # assumes that you have rsync (a copying tool). + # if necessary, use 'scp -r' instead of 'rsync -avuP' + # also assumes you have something like this in your ~/.ssh/config: + # Host quitte + # HostName quitte.ifsr.de + # User rsync -avuP ./deploy/ quitte:$(server_path)