Update GitHub Pages

This commit is contained in:
Marcus Huderle
2019-04-21 11:20:49 -05:00
parent 656715fb9e
commit afbcaf0f59
29 changed files with 1497 additions and 741 deletions

View File

@@ -13,7 +13,9 @@ help:
github:
@make html
rm -rf ../docs
@cp -a $(BUILDDIR)/html/. ../docs
touch ../docs/.nojekyll
.PHONY: help Makefile