Fixing broken link in documentation
Updating the index doc
Including the doxygen documentation into sphinx
Merge branch 'master' of github.com:hyrise/hyrise
Fixing a minor spelling error in table equality
Allowing to push the Docs to the gh-pages branch