Closed sideshowcoder closed 10 years ago
Currently the process of updating the documentation page involves
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
make docs
Currently the process of updating the documentation page involves
this is an error prone process, so It would be nice if we could do