From 84e72a46c859515fea0414cf9d4026c6c096e5b8 Mon Sep 17 00:00:00 2001
From: Geoffrey Frogeye <geoffrey@frogeye.fr>
Date: Sat, 13 Feb 2016 17:41:01 +0100
Subject: [PATCH] Sometimes submission.zip went into submission.zip

Okay, that's an horrible hack. I know
---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile b/Makefile
index 488aefe..d9db864 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,7 @@
 all: 1o 2o 3o ../submission.zip
 
 submission.zip:
+	rm submission.zip
 	git gc
 	zip $@ .git *.py -r