gecko-dev/tools/docs/conf.py
Gregory Szorc 5b730a4079 Bug 1040416 - Remove javasphinx extension from Sphinx config; r=nalexander
The extension was added by accident in bug 1033686.

DONTBUILD (NPOTB)

--HG--
extra : rebase_source : 18c2679d14b83ddf6f284052609a39ed2f405929
2014-07-23 09:22:48 -07:00

53 lines
1.2 KiB
Python

# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
from __future__ import unicode_literals
import os
import re
from datetime import datetime
mozilla_dir = os.environ['MOZILLA_DIR']
import mdn_theme
extensions = [
'sphinx.ext.autodoc',
'sphinx.ext.graphviz',
'sphinx.ext.todo',
'mozbuild.sphinx',
]
templates_path = ['_templates']
source_suffix = '.rst'
master_doc = 'index'
project = u'Mozilla Source Tree Docs'
year = datetime.now().year
# Grab the version from the source tree's milestone.
# FUTURE Use Python API from bug 941299.
with open(os.path.join(mozilla_dir, 'config', 'milestone.txt'), 'rt') as fh:
for line in fh:
line = line.strip()
if not line or line.startswith('#'):
continue
release = line
break
version = re.sub(r'[ab]\d+$', '', release)
exclude_patterns = ['_build']
pygments_style = 'sphinx'
# TODO MDN theme is busted (bug 987332)
#html_theme_path = [mdn_theme.get_theme_dir()]
#html_theme = 'mdn'
html_static_path = ['_static']
htmlhelp_basename = 'MozillaTreeDocs'