sbt/sbt — pull request #1385 by eed3si9n (2014-06-01 04:23:16+00:00)
Title: Comment out all site generation on 0.13.5 branch

Since the sphinx part of the site is migrated to sbt/website, and API and SXR is done for 0.13.5, Docs.settings can be `Nil` for 0.13.5 branch to prevent Jenkins from overwriting the new site. Once we merge this to 0.13 we can uncomment the API and SXR part.