annotate clang/docs/analyzer/conf.py @ 173:0572611fdcc8 llvm10 llvm12

reorgnization done
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 11:55:54 +0900
parents 1d019706d866
children 2e18cbf3894f
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 # -*- coding: utf-8 -*-
anatofuz
parents:
diff changeset
2 #
anatofuz
parents:
diff changeset
3 # Clang Static Analyzer documentation build configuration file, created by
anatofuz
parents:
diff changeset
4 # sphinx-quickstart on Wed Jan 2 15:54:28 2013.
anatofuz
parents:
diff changeset
5 #
anatofuz
parents:
diff changeset
6 # This file is execfile()d with the current directory set to its containing dir.
anatofuz
parents:
diff changeset
7 #
anatofuz
parents:
diff changeset
8 # Note that not all possible configuration values are present in this
anatofuz
parents:
diff changeset
9 # autogenerated file.
anatofuz
parents:
diff changeset
10 #
anatofuz
parents:
diff changeset
11 # All configuration values have a default; values that are commented out
anatofuz
parents:
diff changeset
12 # serve to show the default.
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 import sys, os
anatofuz
parents:
diff changeset
15 from datetime import date
anatofuz
parents:
diff changeset
16
anatofuz
parents:
diff changeset
17 # If extensions (or modules to document with autodoc) are in another directory,
anatofuz
parents:
diff changeset
18 # add these directories to sys.path here. If the directory is relative to the
anatofuz
parents:
diff changeset
19 # documentation root, use os.path.abspath to make it absolute, like shown here.
anatofuz
parents:
diff changeset
20 #sys.path.insert(0, os.path.abspath('.'))
anatofuz
parents:
diff changeset
21
anatofuz
parents:
diff changeset
22 # -- General configuration -----------------------------------------------------
anatofuz
parents:
diff changeset
23
anatofuz
parents:
diff changeset
24 # If your documentation needs a minimal Sphinx version, state it here.
anatofuz
parents:
diff changeset
25 #needs_sphinx = '1.0'
anatofuz
parents:
diff changeset
26
anatofuz
parents:
diff changeset
27 # Add any Sphinx extension module names here, as strings. They can be extensions
anatofuz
parents:
diff changeset
28 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
anatofuz
parents:
diff changeset
29 extensions = ['sphinx.ext.todo', 'sphinx.ext.mathjax']
anatofuz
parents:
diff changeset
30
anatofuz
parents:
diff changeset
31 # Add any paths that contain templates here, relative to this directory.
anatofuz
parents:
diff changeset
32 templates_path = ['_templates']
anatofuz
parents:
diff changeset
33
anatofuz
parents:
diff changeset
34 # The suffix of source filenames.
anatofuz
parents:
diff changeset
35 source_suffix = '.rst'
anatofuz
parents:
diff changeset
36
anatofuz
parents:
diff changeset
37 # The encoding of source files.
anatofuz
parents:
diff changeset
38 #source_encoding = 'utf-8-sig'
anatofuz
parents:
diff changeset
39
anatofuz
parents:
diff changeset
40 # The master toctree document.
anatofuz
parents:
diff changeset
41 master_doc = 'index'
anatofuz
parents:
diff changeset
42
anatofuz
parents:
diff changeset
43 # General information about the project.
anatofuz
parents:
diff changeset
44 project = u'Clang Static Analyzer'
anatofuz
parents:
diff changeset
45 copyright = u'2013-%d, Analyzer Team' % date.today().year
anatofuz
parents:
diff changeset
46
anatofuz
parents:
diff changeset
47 # The version info for the project you're documenting, acts as replacement for
anatofuz
parents:
diff changeset
48 # |version| and |release|, also used in various other places throughout the
anatofuz
parents:
diff changeset
49 # built documents.
anatofuz
parents:
diff changeset
50 #
anatofuz
parents:
diff changeset
51 # The short version.
anatofuz
parents:
diff changeset
52 version = '11'
anatofuz
parents:
diff changeset
53 # The full version, including alpha/beta/rc tags.
anatofuz
parents:
diff changeset
54 release = '11'
anatofuz
parents:
diff changeset
55
anatofuz
parents:
diff changeset
56 # The language for content autogenerated by Sphinx. Refer to documentation
anatofuz
parents:
diff changeset
57 # for a list of supported languages.
anatofuz
parents:
diff changeset
58 #language = None
anatofuz
parents:
diff changeset
59
anatofuz
parents:
diff changeset
60 # There are two options for replacing |today|: either, you set today to some
anatofuz
parents:
diff changeset
61 # non-false value, then it is used:
anatofuz
parents:
diff changeset
62 #today = ''
anatofuz
parents:
diff changeset
63 # Else, today_fmt is used as the format for a strftime call.
anatofuz
parents:
diff changeset
64 #today_fmt = '%B %d, %Y'
anatofuz
parents:
diff changeset
65
anatofuz
parents:
diff changeset
66 # List of patterns, relative to source directory, that match files and
anatofuz
parents:
diff changeset
67 # directories to ignore when looking for source files.
anatofuz
parents:
diff changeset
68 exclude_patterns = ['_build']
anatofuz
parents:
diff changeset
69
anatofuz
parents:
diff changeset
70 # The reST default role (used for this markup: `text`) to use for all documents.
anatofuz
parents:
diff changeset
71 #default_role = None
anatofuz
parents:
diff changeset
72
anatofuz
parents:
diff changeset
73 # If true, '()' will be appended to :func: etc. cross-reference text.
anatofuz
parents:
diff changeset
74 #add_function_parentheses = True
anatofuz
parents:
diff changeset
75
anatofuz
parents:
diff changeset
76 # If true, the current module name will be prepended to all description
anatofuz
parents:
diff changeset
77 # unit titles (such as .. function::).
anatofuz
parents:
diff changeset
78 #add_module_names = True
anatofuz
parents:
diff changeset
79
anatofuz
parents:
diff changeset
80 # If true, sectionauthor and moduleauthor directives will be shown in the
anatofuz
parents:
diff changeset
81 # output. They are ignored by default.
anatofuz
parents:
diff changeset
82 #show_authors = False
anatofuz
parents:
diff changeset
83
anatofuz
parents:
diff changeset
84 # The name of the Pygments (syntax highlighting) style to use.
anatofuz
parents:
diff changeset
85 pygments_style = 'sphinx'
anatofuz
parents:
diff changeset
86
anatofuz
parents:
diff changeset
87 # A list of ignored prefixes for module index sorting.
anatofuz
parents:
diff changeset
88 #modindex_common_prefix = []
anatofuz
parents:
diff changeset
89
anatofuz
parents:
diff changeset
90
anatofuz
parents:
diff changeset
91 # -- Options for HTML output ---------------------------------------------------
anatofuz
parents:
diff changeset
92
anatofuz
parents:
diff changeset
93 # The theme to use for HTML and HTML Help pages. See the documentation for
anatofuz
parents:
diff changeset
94 # a list of builtin themes.
anatofuz
parents:
diff changeset
95 html_theme = 'haiku'
anatofuz
parents:
diff changeset
96
anatofuz
parents:
diff changeset
97 # Theme options are theme-specific and customize the look and feel of a theme
anatofuz
parents:
diff changeset
98 # further. For a list of options available for each theme, see the
anatofuz
parents:
diff changeset
99 # documentation.
anatofuz
parents:
diff changeset
100 #html_theme_options = {}
anatofuz
parents:
diff changeset
101
anatofuz
parents:
diff changeset
102 # Add any paths that contain custom themes here, relative to this directory.
anatofuz
parents:
diff changeset
103 #html_theme_path = []
anatofuz
parents:
diff changeset
104
anatofuz
parents:
diff changeset
105 # The name for this set of Sphinx documents. If None, it defaults to
anatofuz
parents:
diff changeset
106 # "<project> v<release> documentation".
anatofuz
parents:
diff changeset
107 #html_title = None
anatofuz
parents:
diff changeset
108
anatofuz
parents:
diff changeset
109 # A shorter title for the navigation bar. Default is the same as html_title.
anatofuz
parents:
diff changeset
110 #html_short_title = None
anatofuz
parents:
diff changeset
111
anatofuz
parents:
diff changeset
112 # The name of an image file (relative to this directory) to place at the top
anatofuz
parents:
diff changeset
113 # of the sidebar.
anatofuz
parents:
diff changeset
114 #html_logo = None
anatofuz
parents:
diff changeset
115
anatofuz
parents:
diff changeset
116 # The name of an image file (within the static path) to use as favicon of the
anatofuz
parents:
diff changeset
117 # docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32
anatofuz
parents:
diff changeset
118 # pixels large.
anatofuz
parents:
diff changeset
119 #html_favicon = None
anatofuz
parents:
diff changeset
120
anatofuz
parents:
diff changeset
121 # Add any paths that contain custom static files (such as style sheets) here,
anatofuz
parents:
diff changeset
122 # relative to this directory. They are copied after the builtin static files,
anatofuz
parents:
diff changeset
123 # so a file named "default.css" will overwrite the builtin "default.css".
anatofuz
parents:
diff changeset
124 html_static_path = []
anatofuz
parents:
diff changeset
125
anatofuz
parents:
diff changeset
126 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
anatofuz
parents:
diff changeset
127 # using the given strftime format.
anatofuz
parents:
diff changeset
128 #html_last_updated_fmt = '%b %d, %Y'
anatofuz
parents:
diff changeset
129
anatofuz
parents:
diff changeset
130 # If true, SmartyPants will be used to convert quotes and dashes to
anatofuz
parents:
diff changeset
131 # typographically correct entities.
anatofuz
parents:
diff changeset
132 #html_use_smartypants = True
anatofuz
parents:
diff changeset
133
anatofuz
parents:
diff changeset
134 # Custom sidebar templates, maps document names to template names.
anatofuz
parents:
diff changeset
135 #html_sidebars = {}
anatofuz
parents:
diff changeset
136
anatofuz
parents:
diff changeset
137 # Additional templates that should be rendered to pages, maps page names to
anatofuz
parents:
diff changeset
138 # template names.
anatofuz
parents:
diff changeset
139 #html_additional_pages = {}
anatofuz
parents:
diff changeset
140
anatofuz
parents:
diff changeset
141 # If false, no module index is generated.
anatofuz
parents:
diff changeset
142 #html_domain_indices = True
anatofuz
parents:
diff changeset
143
anatofuz
parents:
diff changeset
144 # If false, no index is generated.
anatofuz
parents:
diff changeset
145 #html_use_index = True
anatofuz
parents:
diff changeset
146
anatofuz
parents:
diff changeset
147 # If true, the index is split into individual pages for each letter.
anatofuz
parents:
diff changeset
148 #html_split_index = False
anatofuz
parents:
diff changeset
149
anatofuz
parents:
diff changeset
150 # If true, links to the reST sources are added to the pages.
anatofuz
parents:
diff changeset
151 #html_show_sourcelink = True
anatofuz
parents:
diff changeset
152
anatofuz
parents:
diff changeset
153 # If true, "Created using Sphinx" is shown in the HTML footer. Default is True.
anatofuz
parents:
diff changeset
154 #html_show_sphinx = True
anatofuz
parents:
diff changeset
155
anatofuz
parents:
diff changeset
156 # If true, "(C) Copyright ..." is shown in the HTML footer. Default is True.
anatofuz
parents:
diff changeset
157 #html_show_copyright = True
anatofuz
parents:
diff changeset
158
anatofuz
parents:
diff changeset
159 # If true, an OpenSearch description file will be output, and all pages will
anatofuz
parents:
diff changeset
160 # contain a <link> tag referring to it. The value of this option must be the
anatofuz
parents:
diff changeset
161 # base URL from which the finished HTML is served.
anatofuz
parents:
diff changeset
162 #html_use_opensearch = ''
anatofuz
parents:
diff changeset
163
anatofuz
parents:
diff changeset
164 # This is the file name suffix for HTML files (e.g. ".xhtml").
anatofuz
parents:
diff changeset
165 #html_file_suffix = None
anatofuz
parents:
diff changeset
166
anatofuz
parents:
diff changeset
167 # Output file base name for HTML help builder.
anatofuz
parents:
diff changeset
168 htmlhelp_basename = 'ClangStaticAnalyzerdoc'
anatofuz
parents:
diff changeset
169
anatofuz
parents:
diff changeset
170
anatofuz
parents:
diff changeset
171 # -- Options for LaTeX output --------------------------------------------------
anatofuz
parents:
diff changeset
172
anatofuz
parents:
diff changeset
173 latex_elements = {
anatofuz
parents:
diff changeset
174 # The paper size ('letterpaper' or 'a4paper').
anatofuz
parents:
diff changeset
175 #'papersize': 'letterpaper',
anatofuz
parents:
diff changeset
176
anatofuz
parents:
diff changeset
177 # The font size ('10pt', '11pt' or '12pt').
anatofuz
parents:
diff changeset
178 #'pointsize': '10pt',
anatofuz
parents:
diff changeset
179
anatofuz
parents:
diff changeset
180 # Additional stuff for the LaTeX preamble.
anatofuz
parents:
diff changeset
181 #'preamble': '',
anatofuz
parents:
diff changeset
182 }
anatofuz
parents:
diff changeset
183
anatofuz
parents:
diff changeset
184 # Grouping the document tree into LaTeX files. List of tuples
anatofuz
parents:
diff changeset
185 # (source start file, target name, title, author, documentclass [howto/manual]).
anatofuz
parents:
diff changeset
186 latex_documents = [
anatofuz
parents:
diff changeset
187 ('index', 'ClangStaticAnalyzer.tex', u'Clang Static Analyzer Documentation',
anatofuz
parents:
diff changeset
188 u'Analyzer Team', 'manual'),
anatofuz
parents:
diff changeset
189 ]
anatofuz
parents:
diff changeset
190
anatofuz
parents:
diff changeset
191 # The name of an image file (relative to this directory) to place at the top of
anatofuz
parents:
diff changeset
192 # the title page.
anatofuz
parents:
diff changeset
193 #latex_logo = None
anatofuz
parents:
diff changeset
194
anatofuz
parents:
diff changeset
195 # For "manual" documents, if this is true, then toplevel headings are parts,
anatofuz
parents:
diff changeset
196 # not chapters.
anatofuz
parents:
diff changeset
197 #latex_use_parts = False
anatofuz
parents:
diff changeset
198
anatofuz
parents:
diff changeset
199 # If true, show page references after internal links.
anatofuz
parents:
diff changeset
200 #latex_show_pagerefs = False
anatofuz
parents:
diff changeset
201
anatofuz
parents:
diff changeset
202 # If true, show URL addresses after external links.
anatofuz
parents:
diff changeset
203 #latex_show_urls = False
anatofuz
parents:
diff changeset
204
anatofuz
parents:
diff changeset
205 # Documents to append as an appendix to all manuals.
anatofuz
parents:
diff changeset
206 #latex_appendices = []
anatofuz
parents:
diff changeset
207
anatofuz
parents:
diff changeset
208 # If false, no module index is generated.
anatofuz
parents:
diff changeset
209 #latex_domain_indices = True
anatofuz
parents:
diff changeset
210
anatofuz
parents:
diff changeset
211
anatofuz
parents:
diff changeset
212 # -- Options for manual page output --------------------------------------------
anatofuz
parents:
diff changeset
213
anatofuz
parents:
diff changeset
214 # One entry per manual page. List of tuples
anatofuz
parents:
diff changeset
215 # (source start file, name, description, authors, manual section).
anatofuz
parents:
diff changeset
216 man_pages = [
anatofuz
parents:
diff changeset
217 ('index', 'clangstaticanalyzer', u'Clang Static Analyzer Documentation',
anatofuz
parents:
diff changeset
218 [u'Analyzer Team'], 1)
anatofuz
parents:
diff changeset
219 ]
anatofuz
parents:
diff changeset
220
anatofuz
parents:
diff changeset
221 # If true, show URL addresses after external links.
anatofuz
parents:
diff changeset
222 #man_show_urls = False
anatofuz
parents:
diff changeset
223
anatofuz
parents:
diff changeset
224
anatofuz
parents:
diff changeset
225 # -- Options for Texinfo output ------------------------------------------------
anatofuz
parents:
diff changeset
226
anatofuz
parents:
diff changeset
227 # Grouping the document tree into Texinfo files. List of tuples
anatofuz
parents:
diff changeset
228 # (source start file, target name, title, author,
anatofuz
parents:
diff changeset
229 # dir menu entry, description, category)
anatofuz
parents:
diff changeset
230 texinfo_documents = [
anatofuz
parents:
diff changeset
231 ('index', 'ClangStaticAnalyzer', u'Clang Static Analyzer Documentation',
anatofuz
parents:
diff changeset
232 u'Analyzer Team', 'ClangStaticAnalyzer', 'One line description of project.',
anatofuz
parents:
diff changeset
233 'Miscellaneous'),
anatofuz
parents:
diff changeset
234 ]
anatofuz
parents:
diff changeset
235
anatofuz
parents:
diff changeset
236 # Documents to append as an appendix to all manuals.
anatofuz
parents:
diff changeset
237 #texinfo_appendices = []
anatofuz
parents:
diff changeset
238
anatofuz
parents:
diff changeset
239 # If false, no module index is generated.
anatofuz
parents:
diff changeset
240 #texinfo_domain_indices = True
anatofuz
parents:
diff changeset
241
anatofuz
parents:
diff changeset
242 # How to display URL addresses: 'footnote', 'no', or 'inline'.
anatofuz
parents:
diff changeset
243 #texinfo_show_urls = 'footnote'
anatofuz
parents:
diff changeset
244
anatofuz
parents:
diff changeset
245
anatofuz
parents:
diff changeset
246 # Example configuration for intersphinx: refer to the Python standard library.
anatofuz
parents:
diff changeset
247 intersphinx_mapping = {'http://docs.python.org/': None}