From a798978d42a13d6c9b972e597a339493aa4a47a3 Mon Sep 17 00:00:00 2001
From: Lars Hupel <lars.hupel@mytum.de>
Date: Thu, 3 Sep 2015 16:11:46 +0200
Subject: [PATCH] use sbt-site plugin for doc generation
---
build.sbt | 4 ++++
project/plugins.sbt | 1 +
{doc => src/sphinx}/.gitignore | 0
{doc => src/sphinx}/Makefile | 0
{doc => src/sphinx}/conf.py | 0
{doc => src/sphinx}/faq.rst | 0
{doc => src/sphinx}/gettingstarted.rst | 0
{doc => src/sphinx}/index.rst | 0
{doc => src/sphinx}/installation.rst | 0
{doc => src/sphinx}/intro.rst | 0
{doc => src/sphinx}/library.rst | 0
{doc => src/sphinx}/limitations.rst | 0
{doc => src/sphinx}/neon.rst | 0
{doc => src/sphinx}/options.rst | 0
{doc => src/sphinx}/purescala.rst | 0
{doc => src/sphinx}/r | 0
{doc => src/sphinx}/references.rst | 0
{doc => src/sphinx}/repair.rst | 0
{doc => src/sphinx}/synthesis.rst | 0
{doc => src/sphinx}/themes/leon/layout.html | 0
{doc => src/sphinx}/themes/leon/static/css/leon.css_t | 0
{doc => src/sphinx}/themes/leon/theme.conf | 0
{doc => src/sphinx}/tutorial.rst | 0
{doc => src/sphinx}/verification.rst | 0
{doc => src/sphinx}/xlang.rst | 0
25 files changed, 5 insertions(+)
rename {doc => src/sphinx}/.gitignore (100%)
rename {doc => src/sphinx}/Makefile (100%)
rename {doc => src/sphinx}/conf.py (100%)
rename {doc => src/sphinx}/faq.rst (100%)
rename {doc => src/sphinx}/gettingstarted.rst (100%)
rename {doc => src/sphinx}/index.rst (100%)
rename {doc => src/sphinx}/installation.rst (100%)
rename {doc => src/sphinx}/intro.rst (100%)
rename {doc => src/sphinx}/library.rst (100%)
rename {doc => src/sphinx}/limitations.rst (100%)
rename {doc => src/sphinx}/neon.rst (100%)
rename {doc => src/sphinx}/options.rst (100%)
rename {doc => src/sphinx}/purescala.rst (100%)
rename {doc => src/sphinx}/r (100%)
rename {doc => src/sphinx}/references.rst (100%)
rename {doc => src/sphinx}/repair.rst (100%)
rename {doc => src/sphinx}/synthesis.rst (100%)
rename {doc => src/sphinx}/themes/leon/layout.html (100%)
rename {doc => src/sphinx}/themes/leon/static/css/leon.css_t (100%)
rename {doc => src/sphinx}/themes/leon/theme.conf (100%)
rename {doc => src/sphinx}/tutorial.rst (100%)
rename {doc => src/sphinx}/verification.rst (100%)
rename {doc => src/sphinx}/xlang.rst (100%)
diff --git a/build.sbt b/build.sbt
index fba73c298..239628b2c 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 e69de29bb..9a94578c3 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
--
GitLab