aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/build-data/sphinx/conf.py35
-rw-r--r--src/build-data/sphinx/disqus/page.html21
2 files changed, 11 insertions, 45 deletions
diff --git a/src/build-data/sphinx/conf.py b/src/build-data/sphinx/conf.py
index 97dc67ca8..71c032b4b 100644
--- a/src/build-data/sphinx/conf.py
+++ b/src/build-data/sphinx/conf.py
@@ -21,7 +21,6 @@ def check_for_tag(tag):
return False
is_website_build = check_for_tag('website')
-use_disqus = is_website_build and check_for_tag('disqus')
needs_sphinx = '1.1'
@@ -29,9 +28,6 @@ extensions = ['sphinx.ext.extlinks']
templates_path = ['templates']
-if is_website_build and use_disqus:
- templates_path += ['disqus']
-
files_dir = 'https://botan.randombit.net/releases'
extlinks = {
@@ -42,8 +38,6 @@ extlinks = {
'tgz': (files_dir + '/Botan-%s.tgz', 'tar/gz for '),
'tgz_sig': (files_dir + '/Botan-%s.tgz.asc', 'tar/gz sig '),
-# 'tbz': (files_dir + '/Botan-%s.tbz', 'tar/bzip for '),
-# 'tbz_sig': (files_dir + '/Botan-%s.tbz.asc', 'tar/bzip sig '),
'installer_x86_32': (files_dir + '/win32/botan-%s-x86_32.exe', 'x86-32 '),
'installer_x86_64': (files_dir + '/win32/botan-%s-x86_64.exe', 'x86-64 '),
@@ -59,7 +53,7 @@ source_encoding = 'utf-8-sig'
master_doc = 'contents'
project = u'botan'
-copyright = u'2000-2016, Jack Lloyd'
+copyright = u'2000-2017, The Botan Authors'
version = '%d.%d' % (botan_version.release_major, botan_version.release_minor)
@@ -101,23 +95,16 @@ pygments_style = 'sphinx'
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
-html_theme = 'agogo'
-
-# Theme options are theme-specific and customize the look and feel of a theme
-# further. For a list of options available for each theme, see the
-# documentation.
-html_theme_options = {
- 'linkcolor': 'blue',
- 'headerlinkcolor': 'blue',
- 'headercolor1': 'darkblue',
- 'headercolor2': 'darkblue',
- 'textalign': 'left',
- 'pagewidth': '70em',
- 'documentwidth': '50em'
- }
-
-# Add any paths that contain custom themes here, relative to this directory.
-#html_theme_path = []
+
+try:
+ # On Arch this is python-sphinx_rtd_theme
+ import sphinx_rtd_theme
+ html_theme = "sphinx_rtd_theme"
+ html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+except ImportError as e:
+ html_theme = 'agogo'
+ html_theme_path = []
+ print("Ignoring ImportError and using old theme")
# The name for this set of Sphinx documents. If None, it defaults to
# "<project> v<release> documentation".
diff --git a/src/build-data/sphinx/disqus/page.html b/src/build-data/sphinx/disqus/page.html
deleted file mode 100644
index 56e102044..000000000
--- a/src/build-data/sphinx/disqus/page.html
+++ /dev/null
@@ -1,21 +0,0 @@
-{% extends "!page.html" %}
-
-{% block body %}
-{{ super() }}
-
-<div id="disqus_thread"></div>
-<script type="text/javascript">
- var disqus_shortname = 'botan';
-
- var disqus_identifier = 'botan_{{ pagename }}';
- var disqus_url = 'http://botan.randombit.net/{{ pagename }}.html';
-
- (function() {
- var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
- dsq.src = 'http://' + disqus_shortname + '.disqus.com/embed.js';
- (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
- })();
-</script>
-<noscript>Please enable JavaScript to view the <a href="http://disqus.com/?ref_noscript">comments powered by Disqus.</a></noscript>
-
-{% endblock %}