Jenkins/conf.py
author Heinz Junkes <junkes@fhi-berlin.mpg.de>
Fri, 19 Jan 2018 16:05:31 +0100
changeset 10 f7c1eb1e5733
parent 4 633ec114762a
permissions -rw-r--r--
Add services docu
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     1
# -*- coding: utf-8 -*-
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     2
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     3
# JenkinsDoc documentation build configuration file, created by
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     4
# sphinx-quickstart on Fri Jan 12 11:58:32 2018.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     5
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     6
# This file is execfile()d with the current directory set to its
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     7
# containing dir.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     8
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
     9
# Note that not all possible configuration values are present in this
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    10
# autogenerated file.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    11
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    12
# All configuration values have a default; values that are commented out
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    13
# serve to show the default.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    14
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    15
# If extensions (or modules to document with autodoc) are in another directory,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    16
# add these directories to sys.path here. If the directory is relative to the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    17
# documentation root, use os.path.abspath to make it absolute, like shown here.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    18
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    19
# import os
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    20
# import sys
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    21
# sys.path.insert(0, os.path.abspath('.'))
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    22
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    23
# -- General configuration ------------------------------------------------
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    24
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    25
# If your documentation needs a minimal Sphinx version, state it here.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    26
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    27
# needs_sphinx = '1.0'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    28
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    29
# Add any Sphinx extension module names here, as strings. They can be
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    30
# extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    31
# ones.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    32
extensions = []
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    33
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    34
# Add any paths that contain templates here, relative to this directory.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    35
templates_path = ['_templates']
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    36
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    37
# The suffix(es) of source filenames.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    38
# You can specify multiple suffix as a list of string:
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    39
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    40
# source_suffix = ['.rst', '.md']
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    41
source_suffix = '.rst'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    42
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    43
# The encoding of source files.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    44
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    45
# source_encoding = 'utf-8-sig'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    46
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    47
# The master toctree document.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    48
master_doc = 'index'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    49
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    50
# General information about the project.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    51
project = u'JenkinsDoc'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    52
copyright = u'2018, Jonathan Grimm'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    53
author = u'Jonathan Grimm'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    54
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    55
# The version info for the project you're documenting, acts as replacement for
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    56
# |version| and |release|, also used in various other places throughout the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    57
# built documents.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    58
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    59
# The short X.Y version.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    60
version = u'1.0'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    61
# The full version, including alpha/beta/rc tags.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    62
release = u'1.0'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    63
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    64
# The language for content autogenerated by Sphinx. Refer to documentation
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    65
# for a list of supported languages.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    66
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    67
# This is also used if you do content translation via gettext catalogs.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    68
# Usually you set "language" from the command line for these cases.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    69
language = None
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    70
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    71
# There are two options for replacing |today|: either, you set today to some
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    72
# non-false value, then it is used:
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    73
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    74
# today = ''
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    75
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    76
# Else, today_fmt is used as the format for a strftime call.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    77
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    78
# today_fmt = '%B %d, %Y'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    79
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    80
# List of patterns, relative to source directory, that match files and
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    81
# directories to ignore when looking for source files.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    82
# This patterns also effect to html_static_path and html_extra_path
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    83
exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store']
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    84
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    85
# The reST default role (used for this markup: `text`) to use for all
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    86
# documents.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    87
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    88
# default_role = None
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    89
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    90
# If true, '()' will be appended to :func: etc. cross-reference text.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    91
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    92
# add_function_parentheses = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    93
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    94
# If true, the current module name will be prepended to all description
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    95
# unit titles (such as .. function::).
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    96
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    97
# add_module_names = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    98
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
    99
# If true, sectionauthor and moduleauthor directives will be shown in the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   100
# output. They are ignored by default.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   101
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   102
# show_authors = False
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   103
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   104
# The name of the Pygments (syntax highlighting) style to use.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   105
pygments_style = 'sphinx'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   106
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   107
# A list of ignored prefixes for module index sorting.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   108
# modindex_common_prefix = []
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   109
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   110
# If true, keep warnings as "system message" paragraphs in the built documents.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   111
# keep_warnings = False
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   112
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   113
# If true, `todo` and `todoList` produce output, else they produce nothing.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   114
todo_include_todos = False
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   115
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   116
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   117
# -- Options for HTML output ----------------------------------------------
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   118
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   119
# The theme to use for HTML and HTML Help pages.  See the documentation for
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   120
# a list of builtin themes.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   121
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   122
html_theme = 'alabaster'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   123
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   124
# Theme options are theme-specific and customize the look and feel of a theme
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   125
# further.  For a list of options available for each theme, see the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   126
# documentation.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   127
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   128
# html_theme_options = {}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   129
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   130
# Add any paths that contain custom themes here, relative to this directory.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   131
# html_theme_path = []
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   132
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   133
# The name for this set of Sphinx documents.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   134
# "<project> v<release> documentation" by default.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   135
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   136
# html_title = u'JenkinsDoc v1.0'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   137
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   138
# A shorter title for the navigation bar.  Default is the same as html_title.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   139
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   140
# html_short_title = None
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   141
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   142
# The name of an image file (relative to this directory) to place at the top
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   143
# of the sidebar.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   144
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   145
# html_logo = None
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   146
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   147
# The name of an image file (relative to this directory) to use as a favicon of
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   148
# the docs.  This file should be a Windows icon file (.ico) being 16x16 or 32x32
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   149
# pixels large.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   150
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   151
# html_favicon = None
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   152
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   153
# Add any paths that contain custom static files (such as style sheets) here,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   154
# relative to this directory. They are copied after the builtin static files,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   155
# so a file named "default.css" will overwrite the builtin "default.css".
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   156
html_static_path = ['_static']
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   157
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   158
# Add any extra paths that contain custom files (such as robots.txt or
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   159
# .htaccess) here, relative to this directory. These files are copied
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   160
# directly to the root of the documentation.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   161
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   162
# html_extra_path = []
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   163
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   164
# If not None, a 'Last updated on:' timestamp is inserted at every page
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   165
# bottom, using the given strftime format.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   166
# The empty string is equivalent to '%b %d, %Y'.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   167
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   168
# html_last_updated_fmt = None
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   169
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   170
# If true, SmartyPants will be used to convert quotes and dashes to
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   171
# typographically correct entities.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   172
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   173
# html_use_smartypants = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   174
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   175
# Custom sidebar templates, maps document names to template names.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   176
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   177
# html_sidebars = {}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   178
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   179
# Additional templates that should be rendered to pages, maps page names to
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   180
# template names.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   181
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   182
# html_additional_pages = {}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   183
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   184
# If false, no module index is generated.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   185
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   186
# html_domain_indices = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   187
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   188
# If false, no index is generated.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   189
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   190
# html_use_index = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   191
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   192
# If true, the index is split into individual pages for each letter.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   193
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   194
# html_split_index = False
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   195
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   196
# If true, links to the reST sources are added to the pages.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   197
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   198
# html_show_sourcelink = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   199
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   200
# If true, "Created using Sphinx" is shown in the HTML footer. Default is True.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   201
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   202
# html_show_sphinx = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   203
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   204
# If true, "(C) Copyright ..." is shown in the HTML footer. Default is True.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   205
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   206
# html_show_copyright = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   207
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   208
# If true, an OpenSearch description file will be output, and all pages will
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   209
# contain a <link> tag referring to it.  The value of this option must be the
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   210
# base URL from which the finished HTML is served.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   211
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   212
# html_use_opensearch = ''
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   213
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   214
# This is the file name suffix for HTML files (e.g. ".xhtml").
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   215
# html_file_suffix = None
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   216
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   217
# Language to be used for generating the HTML full-text search index.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   218
# Sphinx supports the following languages:
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   219
#   'da', 'de', 'en', 'es', 'fi', 'fr', 'hu', 'it', 'ja'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   220
#   'nl', 'no', 'pt', 'ro', 'ru', 'sv', 'tr', 'zh'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   221
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   222
# html_search_language = 'en'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   223
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   224
# A dictionary with options for the search language support, empty by default.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   225
# 'ja' uses this config value.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   226
# 'zh' user can custom change `jieba` dictionary path.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   227
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   228
# html_search_options = {'type': 'default'}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   229
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   230
# The name of a javascript file (relative to the configuration directory) that
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   231
# implements a search results scorer. If empty, the default will be used.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   232
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   233
# html_search_scorer = 'scorer.js'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   234
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   235
# Output file base name for HTML help builder.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   236
htmlhelp_basename = 'JenkinsDocdoc'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   237
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   238
# -- Options for LaTeX output ---------------------------------------------
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   239
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   240
latex_elements = {
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   241
     # The paper size ('letterpaper' or 'a4paper').
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   242
     #
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   243
     # 'papersize': 'letterpaper',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   244
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   245
     # The font size ('10pt', '11pt' or '12pt').
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   246
     #
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   247
     # 'pointsize': '10pt',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   248
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   249
     # Additional stuff for the LaTeX preamble.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   250
     #
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   251
     # 'preamble': '',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   252
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   253
     # Latex figure (float) alignment
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   254
     #
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   255
     # 'figure_align': 'htbp',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   256
}
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   257
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   258
# Grouping the document tree into LaTeX files. List of tuples
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   259
# (source start file, target name, title,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   260
#  author, documentclass [howto, manual, or own class]).
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   261
latex_documents = [
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   262
    (master_doc, 'JenkinsDoc.tex', u'JenkinsDoc Documentation',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   263
     u'Jonathan Grimm', 'manual'),
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   264
]
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   265
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   266
# The name of an image file (relative to this directory) to place at the top of
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   267
# the title page.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   268
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   269
# latex_logo = None
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   270
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   271
# For "manual" documents, if this is true, then toplevel headings are parts,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   272
# not chapters.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   273
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   274
# latex_use_parts = False
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   275
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   276
# If true, show page references after internal links.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   277
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   278
# latex_show_pagerefs = False
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   279
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   280
# If true, show URL addresses after external links.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   281
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   282
# latex_show_urls = False
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   283
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   284
# Documents to append as an appendix to all manuals.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   285
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   286
# latex_appendices = []
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   287
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   288
# It false, will not define \strong, \code, 	itleref, \crossref ... but only
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   289
# \sphinxstrong, ..., \sphinxtitleref, ... To help avoid clash with user added
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   290
# packages.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   291
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   292
# latex_keep_old_macro_names = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   293
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   294
# If false, no module index is generated.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   295
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   296
# latex_domain_indices = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   297
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   298
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   299
# -- Options for manual page output ---------------------------------------
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   300
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   301
# One entry per manual page. List of tuples
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   302
# (source start file, name, description, authors, manual section).
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   303
man_pages = [
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   304
    (master_doc, 'jenkinsdoc', u'JenkinsDoc Documentation',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   305
     [author], 1)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   306
]
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   307
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   308
# If true, show URL addresses after external links.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   309
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   310
# man_show_urls = False
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   311
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   312
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   313
# -- Options for Texinfo output -------------------------------------------
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   314
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   315
# Grouping the document tree into Texinfo files. List of tuples
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   316
# (source start file, target name, title, author,
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   317
#  dir menu entry, description, category)
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   318
texinfo_documents = [
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   319
    (master_doc, 'JenkinsDoc', u'JenkinsDoc Documentation',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   320
     author, 'JenkinsDoc', 'One line description of project.',
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   321
     'Miscellaneous'),
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   322
]
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   323
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   324
# Documents to append as an appendix to all manuals.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   325
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   326
# texinfo_appendices = []
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   327
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   328
# If false, no module index is generated.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   329
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   330
# texinfo_domain_indices = True
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   331
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   332
# How to display URL addresses: 'footnote', 'no', or 'inline'.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   333
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   334
# texinfo_show_urls = 'footnote'
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   335
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   336
# If true, do not generate a @detailmenu in the "Top" node's menu.
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   337
#
633ec114762a Initial commit for Jenkins Docs
Jonathan Grimm <jonathan@fhi-berlin.mpg.de>
parents:
diff changeset
   338
# texinfo_no_detailmenu = False