From 98cfa7eac278c28686fd10b04b8d9f9714df08c4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 5 Nov 2015 13:26:22 +0100
Subject: Makefile to create a tar ball

---
 etc/Makefile | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 etc/Makefile

diff --git a/etc/Makefile b/etc/Makefile
new file mode 100644
index 0000000..5515da0
--- /dev/null
+++ b/etc/Makefile
@@ -0,0 +1,6 @@
+VERSION=$(shell git symbolic-ref --short HEAD | cut -d / -f 2)
+
+dist:
+	cd ..; git archive --format tar --prefix mathcomp-$(VERSION)/\
+	       -o mathcomp-$(VERSION).tar HEAD
+	cd ..; gzip -f -9 mathcomp-$(VERSION).tar
-- 
cgit v1.2.3