summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorkrangelov <kr.angelov@gmail.com>2021-09-22 14:11:27 +0200
committerkrangelov <kr.angelov@gmail.com>2021-09-22 14:11:27 +0200
commite4b2f281d97f97317df37b5e296cea371c334f37 (patch)
tree8fa7f7a4b47a85f6269f4a734cb8414dccde60f5 /Makefile
parent063c517f3c99aa34ebf5ce25a97d85bb05d7abe4 (diff)
parentbedb46527daa99125f103b87e9fdf8e3cbe9d98b (diff)
Merge branch 'master' of github.com:GrammaticalFramework/gf-core
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index cdb35e49a..fc2a38808 100644
--- a/Makefile
+++ b/Makefile
@@ -65,6 +65,6 @@ bintar:
# 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
- git archive --format=tar.gz --output=dist/gf-${VERSION}.tar.gz HEAD
+# sdist:
+# test -d dist || mkdir dist
+# git archive --format=tar.gz --output=dist/gf-${VERSION}.tar.gz HEAD