Merge branch 'master' into master

jondot · Feb 8, 2020 · 4cb7f32 · 4cb7f32
2 parents 7dcd0c2 + 7a5fd7c
commit 4cb7f32
Show file tree

Hide file tree

Showing 4 changed files with 525 additions and 466 deletions.
diff --git a/Makefile b/Makefile
@@ -4,13 +4,16 @@ install:
 	@gem install jill
 	@pip install -r requirements.txt
 docs:
+	@echo making docs
 	@rm -rf docs
 	@mkdir docs
 	@cp *.md docs/
 	@cp README.md docs/index.md
 	@cp extra.css docs/
 	@cp icon.svg docs/
+	@cp arn.svg docs/
 	@cp CNAME docs/
+	@echo done
 
 publish: docs
 	@mkdocs gh-deploy --clean