From 042bc6e388b5da61f0fad36f7e3bec9203e3cc5c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=3D=3FUTF-8=3Fq=3FRapha=3DC3=3DABl=3D20Hertzog=3F=3D?=
 <hertzog@debian.org>
Date: Thu, 21 Jul 2016 04:32:58 +0200
Subject: Disable creation of _sources directory by Sphinx

 We do this to save some space as the sources of the documentation
 are not really useful in a binary package.
 .
 This is a Debian specific patch.
Forwarded: not-needed
Origin: vendor
---
 docs/conf.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/conf.py b/docs/conf.py
index 6df8dd8..90e4d69 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -200,7 +200,10 @@ html_additional_pages = {}
 #html_split_index = False
 
 # If true, links to the reST sources are added to the pages.
-#html_show_sourcelink = True
+html_show_sourcelink = False
+
+# Do not ship a copy of the sources
+html_copy_source = False
 
 # If true, "Created using Sphinx" is shown in the HTML footer. Default is True.
 #html_show_sphinx = True
