Modify 'make dist' command

espositoandrea · espositoandrea · commit e2c457a1f51c · 2020-12-16T10:05:59.000+01:00
diff --git a/Makefile b/Makefile
@@ -8,8 +8,12 @@ clean-docs:
 presentation:
 	cd docs && latexmk -pdf -interaction=batchmode presentation.tex
 
-dist: docs presentation
+dist: | docs presentation
+	cabal clean
 	cabal sdist
+	cd dist-newstyle/sdist && \
+		tar -xzf *.tar.gz && \
+		cd simpli-* && zip -qr ../andrea-esposito-parser.zip .
 
 clean: | clean-docs
 	cd docs && latexmk -C
