Docs: no need to copy sources, which aren't used anywhere on the site

2026-10-07 18:43:31 +02:00 · 2013-01-16 10:26:56 -05:00
parent 9bb49260c5
commit 0ff37a5fdd
1 changed files with 1 additions and 0 deletions
@@ -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