--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dejsem.1.5/unix/debian/makefile	Wed Nov 27 09:50:16 2019 +0100
@@ -0,0 +1,13 @@
+all:
+	./pack
+
+pack:
+	./pack pack
+	
+upload:
+	./pack upload
+
+clean:
+	./pack clean
+
+.PHONY:	all pack upload clean