dist: convert to tar.gz

This allows the "make dist" target to be used as well as the github archive generation.
2016-09-23 15:25:22 -05:00
parent 0a76627345
commit 24010dcb48
2 changed files with 6 additions and 6 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,4 @@
-*.bz2
+*.gz

 *.diff
 *.patch