git.gnu.io has moved to IP address 209.51.188.249 -- please double check where you are logging in.

Commit 44ad9405 authored by Thomas Karpiniec's avatar Thomas Karpiniec

Fix up the footer and hide unneeded features

parent 840d5f58
......@@ -14,6 +14,7 @@
import sys
import os
import subprocess
# If extensions (or modules to document with autodoc) are in another directory,
# add these directories to sys.path here. If the directory is relative to the
......@@ -48,7 +49,6 @@ master_doc = 'index'
# General information about the project.
project = u'The Unofficial GNU Social Manuals'
copyright = u'2016, Thomas Karpiniec'
author = u'Various contributors'
# The version info for the project you're documenting, acts as replacement for
......@@ -118,6 +118,14 @@ html_theme_options = {
}
html_context = {
'show_sphinx': False,
'show_copyright': False,
'show_source': False,
'build_id': subprocess.check_output(["git", "rev-parse", "--short", "HEAD"]),
'build_url': 'https://git.gnu.io/tom/social-doc'
}
# Add any paths that contain custom themes here, relative to this directory.
#html_theme_path = []
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment