diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..6b5a702 --- /dev/null +++ b/Makefile @@ -0,0 +1,5 @@ +documentation: + cd docs && make html + cd docs/build/html && git add -A && git commit -m 'updates' + cd docs/build/html && git push origin gh-pages +