Add cleaning of docs folder to 'make dist'

4 years ago · e9dca3662a
parent 64f7c351e1
commit e9dca3662a
1 changed files with 1 additions and 0 deletions
--- a/1
+++ b/1
@ -19,6 +19,7 @@ export:

 # Copy build output to the /docs folder where it's served by Github pages
 dist: build
+	rm -rf docs
 	cp -r build docs

 clean: