From af82dc9fc6c1547ab899df7ba211606ad12dbbad Mon Sep 17 00:00:00 2001
From: "John J. Camilleri" <john@digitalgrammars.com>
Date: Wed, 4 Jul 2018 14:28:25 +0200
Subject: [PATCH] Fix `make sdist` to use `git archive` instead of `darcs dist`

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

diff --git a/Makefile b/Makefile
index 6fa4f21c1..78febb495 100644
--- a/Makefile
+++ b/Makefile
@@ -21,9 +21,6 @@ doc:
 clean:
 	cabal clean
 
-#sdist:
-#	cabal sdist
-
 gf:
 	cabal build rgl-none
 	strip dist/build/gf/gf
@@ -45,9 +42,11 @@ pkg:
 bintar:
 	bash bin/build-binary-dist.sh
 
-# Make a source tar.gz distribution using darcs to make sure that everything
-# is included. We put the distribution in dist/ so it is removed on
-# `make clean`
+#sdist:
+#	cabal sdist
+
+# Make a source tar.gz distribution using git to make sure that everything is included.
+# We put the distribution in dist/ so it is removed on `make clean`
 sdist:
 	test -d dist || mkdir dist
-	darcs dist -d dist/gf-${VERSION}
+	git archive --format=tar.gz --output=dist/gf-${VERSION}.tar.gz HEAD