From a48c7c786301e5780120d383a81190a3a2e896b9 Mon Sep 17 00:00:00 2001 From: Jannik Dunkelau <jannik.dunkelau@hhu.de> Date: Thu, 5 Dec 2019 13:42:46 +0100 Subject: [PATCH] Improve zipping from Makefile --- Makefile | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 968af51..72c3991 100644 --- a/Makefile +++ b/Makefile @@ -13,9 +13,7 @@ clean: .PHONY: zip zip: - zip -r thesis . - # Make sure .git is not part of distribution - zip -d thesis.zip .git/\* + zip thesis -x *.git* -r . .PHONY: bibtool bibtool: -- GitLab