From 677f3f6a06d1af79f361e49bfdd3d7a78eb2f646 Mon Sep 17 00:00:00 2001
From: AntonObersteiner <anton.obersteiner@gmail.com>
Date: Tue, 11 Jun 2024 16:03:02 +0200
Subject: [PATCH] add explanation for Makefile rsync usage

---
 Makefile | 6 ++++++
 1 file changed, 6 insertions(+)

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 <usename>
 	rsync -avuP ./deploy/ quitte:$(server_path)