1 files changed, 3 insertions, 0 deletions
diff --git a/makefile b/makefile
index a3ef4f2..ae82e46 100644
--- a/makefile
+++ b/makefile
@@ -41,6 +41,9 @@ $(HTML_DIR)/index.html: $(HTML_DOCS) $(PAGE_FILES)
 
 all: $(HTML_DIR)/index.html
 
+deploy: all
+	git subtree push --prefix html origin gh-pages
+
 clean:
 	rm -r build
 	find html -name "*.html" -type f -delete