Currently the process of updating the documentation page involves ``` shell git checkout gh-pages git checkout master -- README.md echo "---\nlayout: index\n---" | cat - README.md > index.md git add -A git commit -m "update docs" git push origin gh-pages ``` this is an error prone process, so It would be nice if we could do ``` shell make docs ```