diff --git a/build.sbt b/build.sbt
index fba73c298c9c2b35a36b701e416535bef4bda7c4..239628b2c4556522ff2b77522de68df3c3074636 100644
--- a/build.sbt
+++ b/build.sbt
@@ -16,6 +16,10 @@ scalacOptions in (Compile, doc) ++= Seq("-doc-root-content", baseDirectory.value
 
 javacOptions += "-Xlint:unchecked"
 
+site.settings
+
+site.sphinxSupport()
+
 if(System.getProperty("sun.arch.data.model") == "64") {
   unmanagedBase <<= baseDirectory { base => base / "unmanaged" / "64" }
 } else {
diff --git a/project/plugins.sbt b/project/plugins.sbt
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..9a94578c3c5cb3741993e490723649b67eb71441 100644
--- a/project/plugins.sbt
+++ b/project/plugins.sbt
@@ -0,0 +1 @@
+addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.8.1")
diff --git a/doc/.gitignore b/src/sphinx/.gitignore
similarity index 100%
rename from doc/.gitignore
rename to src/sphinx/.gitignore
diff --git a/doc/Makefile b/src/sphinx/Makefile
similarity index 100%
rename from doc/Makefile
rename to src/sphinx/Makefile
diff --git a/doc/conf.py b/src/sphinx/conf.py
similarity index 100%
rename from doc/conf.py
rename to src/sphinx/conf.py
diff --git a/doc/faq.rst b/src/sphinx/faq.rst
similarity index 100%
rename from doc/faq.rst
rename to src/sphinx/faq.rst
diff --git a/doc/gettingstarted.rst b/src/sphinx/gettingstarted.rst
similarity index 100%
rename from doc/gettingstarted.rst
rename to src/sphinx/gettingstarted.rst
diff --git a/doc/index.rst b/src/sphinx/index.rst
similarity index 100%
rename from doc/index.rst
rename to src/sphinx/index.rst
diff --git a/doc/installation.rst b/src/sphinx/installation.rst
similarity index 100%
rename from doc/installation.rst
rename to src/sphinx/installation.rst
diff --git a/doc/intro.rst b/src/sphinx/intro.rst
similarity index 100%
rename from doc/intro.rst
rename to src/sphinx/intro.rst
diff --git a/doc/library.rst b/src/sphinx/library.rst
similarity index 100%
rename from doc/library.rst
rename to src/sphinx/library.rst
diff --git a/doc/limitations.rst b/src/sphinx/limitations.rst
similarity index 100%
rename from doc/limitations.rst
rename to src/sphinx/limitations.rst
diff --git a/doc/neon.rst b/src/sphinx/neon.rst
similarity index 100%
rename from doc/neon.rst
rename to src/sphinx/neon.rst
diff --git a/doc/options.rst b/src/sphinx/options.rst
similarity index 100%
rename from doc/options.rst
rename to src/sphinx/options.rst
diff --git a/doc/purescala.rst b/src/sphinx/purescala.rst
similarity index 100%
rename from doc/purescala.rst
rename to src/sphinx/purescala.rst
diff --git a/doc/r b/src/sphinx/r
similarity index 100%
rename from doc/r
rename to src/sphinx/r
diff --git a/doc/references.rst b/src/sphinx/references.rst
similarity index 100%
rename from doc/references.rst
rename to src/sphinx/references.rst
diff --git a/doc/repair.rst b/src/sphinx/repair.rst
similarity index 100%
rename from doc/repair.rst
rename to src/sphinx/repair.rst
diff --git a/doc/synthesis.rst b/src/sphinx/synthesis.rst
similarity index 100%
rename from doc/synthesis.rst
rename to src/sphinx/synthesis.rst
diff --git a/doc/themes/leon/layout.html b/src/sphinx/themes/leon/layout.html
similarity index 100%
rename from doc/themes/leon/layout.html
rename to src/sphinx/themes/leon/layout.html
diff --git a/doc/themes/leon/static/css/leon.css_t b/src/sphinx/themes/leon/static/css/leon.css_t
similarity index 100%
rename from doc/themes/leon/static/css/leon.css_t
rename to src/sphinx/themes/leon/static/css/leon.css_t
diff --git a/doc/themes/leon/theme.conf b/src/sphinx/themes/leon/theme.conf
similarity index 100%
rename from doc/themes/leon/theme.conf
rename to src/sphinx/themes/leon/theme.conf
diff --git a/doc/tutorial.rst b/src/sphinx/tutorial.rst
similarity index 100%
rename from doc/tutorial.rst
rename to src/sphinx/tutorial.rst
diff --git a/doc/verification.rst b/src/sphinx/verification.rst
similarity index 100%
rename from doc/verification.rst
rename to src/sphinx/verification.rst
diff --git a/doc/xlang.rst b/src/sphinx/xlang.rst
similarity index 100%
rename from doc/xlang.rst
rename to src/sphinx/xlang.rst