From ca257dbfa64d9da50ff64d81853a9b27e11f9f02 Mon Sep 17 00:00:00 2001
From: Michael Fladischer <fladi@debian.org>
Date: Thu, 8 Oct 2015 08:49:53 -0700
Subject: Do not include a static copy of "archive"

 Upstream configured sphinx to do a static copy of the "archive" directory,
 which is useless in the contet of the Debian package as it only contains
 outdated versions of the documentation.
Last-Update: 2013-11-26
Forwarded: not-needed

Patch-Name: docs-do_not_install_archive.patch
---
 docs/source/conf.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/conf.py b/docs/source/conf.py
index c0ddf1c..6faad9b 100644
--- a/docs/source/conf.py
+++ b/docs/source/conf.py
@@ -134,7 +134,7 @@ html_theme_options = {
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
-html_static_path = ['../archive']
+#html_static_path = ['../archive']
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.
