mikeric/rivets — pull request #380 by AWinterman (2014-09-19 15:34:09+00:00)
Title: Move docs into master, add script to compile them in the gh-pages branch

Changes in docs/ and subdirs are the result of `git checkout gh-pages _harp && git mv _harp docs`