diff --git a/.gitignore b/.gitignore index b25c15b81fae06e1c55946ac6270bfdb293870e8..d8238454613d630e183a5bf81b0c18952459030b 100644 --- a/.gitignore +++ b/.gitignore @@ -1 +1,2 @@ *~ +devtools-*.tar.gz diff --git a/Makefile b/Makefile index c5915e8f581eecdd186c762805ce7eaa63de15c5..2e3b3a1659f2a73e6e4c8236cb106b257c417230 100644 --- a/Makefile +++ b/Makefile @@ -42,3 +42,6 @@ uninstall: rm $(DESTDIR)/usr/bin/archrm rm $(DESTDIR)/usr/bin/communityco rm $(DESTDIR)/usr/bin/rebuildpkgs + +dist: + git archive --format=tar --prefix=devtools-$(V)/ $(V) | gzip -9 > devtools-$(V).tar.gz