From 0ff37a5fddb2eec8ba0b4dd238b37867a91b44cb Mon Sep 17 00:00:00 2001 From: Mark Harrah Date: Wed, 16 Jan 2013 10:26:33 -0500 Subject: [PATCH] Docs: no need to copy sources, which aren't used anywhere on the site --- src/sphinx/conf.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sphinx/conf.py b/src/sphinx/conf.py index 75b0a9b94..a7087cd02 100644 --- a/src/sphinx/conf.py +++ b/src/sphinx/conf.py @@ -37,6 +37,7 @@ html_use_index = False html_show_sphinx = False htmlhelp_basename = 'sbtdoc' html_use_smartypants = False +html_copy_source = False # if true: # the Home link is to scala-sbt.org