update to latest sbt-site plugin, generate pdf

project/Docs.scala

@@ -12,6 +12,7 @@
 object Docs
 {
 	val cnameFile = SettingKey[File]("cname-file", "Location of the CNAME file for the website.")
+
 	val SnapshotPath = "snapshot"
 	val ReleasePath = "release"
 	val DocsPath = "docs"
@@ -24,7 +25,11 @@ object Docs
 		site.sphinxSupport(DocsPath) ++
 		site.includeScaladoc("api") ++
 		siteIncludeSxr("sxr") ++
-		ghPagesSettings
+		ghPagesSettings ++
+		Seq(
+			SphinxSupport.sphinxIncremental in SphinxSupport.Sphinx := true,
+			SphinxSupport.enableOutput in SphinxSupport.generatePdf := true
+		)
 
 	def ghPagesSettings = ghpages.settings ++ Seq(
 		git.remoteRepo := "git@github.com:sbt/sbt.github.com.git",

project/p.sbt

@@ -3,7 +3,7 @@ libraryDependencies ++= Seq(
 	"org.jsoup" % "jsoup" % "1.7.1"
 )
 
-addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.6.0")
+addSbtPlugin("com.typesafe.sbt" % "sbt-site" % "0.7.0-M1")
 
 resolvers += "jgit-repo" at "http://download.eclipse.org/jgit/maven"
 

src/sphinx/conf.py

@@ -46,6 +46,13 @@ site_search_base = 'http://www.scala-sbt.org/release/docs'
 # passes variables to the template
 html_context = {'home_site': home_site, 'site_search_base': site_search_base}
 
+# Latex (PDF)
+
+pdf_index = 'pdf_index'
+latex_documents = [
+  (pdf_index, 'sbt.tex', html_title, '', 'manual', True),
+]
+
 # Issues role
 
 issuetracker = 'github'

src/sphinx/index.rst

@@ -34,3 +34,4 @@ the :doc:`index of names and types <Name-Index>`.
    Dormant/Dormant
    Community/ChangeSummary_0.12.0
    Community/Repository-Rules
+   pdf_index

src/sphinx/pdf_index.rst

@@ -0,0 +1,29 @@
+To get started, read the :doc:`Getting Started Guide </Getting-Started/Welcome>`.
+Further topics are presented in detail in the :doc:`Detailed Topics </Detailed-Topics/index>`,
+:doc:`Howto </Howto/index>`, and :doc:`Extending sbt </Extending/index>` sections.
+
+See also the :doc:`index of names and types <Name-Index>`.
+
+.. toctree::
+   :maxdepth: 2
+
+   Getting-Started/index
+   Detailed-Topics/index
+   Examples/index
+   Howto/index
+   faq
+   Community/index
+   Extending/index
+   Name-Index
+
+
+.. The following includes documents that are not important enough to be in a visible toctree
+   They are linked from other documents, which is enough.
+
+.. toctree::
+   :maxdepth: 0
+   :hidden:
+
+   Dormant/Dormant
+   Community/ChangeSummary_0.12.0
+   Community/Repository-Rules