copyright_macros = {
'date': time.strftime("%b %d, %Y"),
'edition':
'GNAT %s Edition' % 'Pro' if get_gnat_build_type() == 'PRO' else 'GPL',
'name': 'GNU Ada',
'tool': 'GNAT',
'version': version
}
latex_elements = {
'preamble':
'\\usepackage{gnat}\n' + latex_elements.TOC_DEPTH +
latex_elements.PAGE_BLANK + latex_elements.TOC_CMD +
latex_elements.LATEX_HYPHEN +
latex_elements.doc_settings(DOCS[doc_name]['title'], get_gnat_version()),
'tableofcontents':
latex_elements.TOC % copyright_macros
}
latex_documents = [(master_doc, '%s.tex' % doc_name, project, 'AdaCore',
'manual')]
texinfo_documents = [(master_doc, doc_name, project, 'AdaCore', doc_name,
doc_name, '')]
def setup(app):
app.add_lexer('ada', ada_pygments.AdaLexer())
app.add_lexer('gpr', ada_pygments.GNATProjectLexer())
'GNU Ada',
'tool':
'GNAT',
'version':
version,
'build_type':
get_gnat_build_type()
}
# Experimenting with the two forms of LateX documents available in Sphinx
# that is 'manual' and 'howto'.
if latex_documents[0][4] == 'manual':
latex_elements = {
'preamble':
'\\usepackage{gnat}\n' + latex_elements.TOC_DEPTH +
latex_elements.PAGE_BLANK + latex_elements.TOC_CMD +
latex_elements.LATEX_HYPHEN +
latex_elements.doc_settings(project, get_gnat_version()),
'tableofcontents':
latex_elements.TOC % copyright_macros
}
else:
latex_elements = {
'preamble':
'\\usepackage{gnat}\n' + latex_elements.TOC_DEPTH +
latex_elements.PAGE_BLANK +
latex_elements.doc_settings(project, get_gnat_version())
}
except Exception:
pass
copyright_macros = {
'date': time.strftime("%b %d, %Y"),
'edition': 'GNAT %s Edition' % 'Pro' if get_gnat_build_type() == 'PRO'
else 'GPL',
'name': u'GNU Ada',
'tool': u'GNAT',
'version': version}
latex_elements = {
'preamble': '\\usepackage{gnat}\n' +
latex_elements.TOC_DEPTH +
latex_elements.PAGE_BLANK +
latex_elements.TOC_CMD +
latex_elements.LATEX_HYPHEN +
latex_elements.doc_settings(DOCS[doc_name]['title'],
get_gnat_version()),
'tableofcontents': latex_elements.TOC % copyright_macros}
latex_documents = [
(master_doc, '%s.tex' % doc_name, project, u'AdaCore', 'manual')]
texinfo_documents = [
(master_doc, doc_name, project,
u'AdaCore', doc_name, doc_name, '')]
def setup(app):
app.add_lexer('ada', ada_pygments.AdaLexer())
app.add_lexer('gpr', ada_pygments.GNATProjectLexer())
release = get_gpr_version()
pygments_style = 'sphinx'
html_theme = 'sphinxdoc'
if os.path.isfile('adacore_transparent.png'):
html_logo = 'adacore_transparent.png'
if os.path.isfile('favicon.ico'):
html_favicon = 'favicon.ico'
html_static_path = ['_static']
latex_elements = {
'preamble':
latex_elements.TOC_DEPTH + latex_elements.PAGE_BLANK +
latex_elements.TOC_CMD + latex_elements.LATEX_HYPHEN +
latex_elements.doc_settings(DOCS[doc_name]['title'], version),
'tableofcontents':
latex_elements.TOC
}
latex_documents = [(master_doc, '%s.tex' % doc_name, project, u'AdaCore',
'manual')]
texinfo_documents = [(master_doc, doc_name, project, u'AdaCore', doc_name,
doc_name, '')]
def setup(app):
app.add_lexer('ada', ada_pygments.AdaLexer())
app.add_lexer('gpr', ada_pygments.GNATProjectLexer())
pygments_style = 'sphinx'
html_theme = 'sphinxdoc'
if os.path.isfile('adacore_transparent.png'):
html_logo = 'adacore_transparent.png'
if os.path.isfile('favicon.ico'):
html_favicon = 'favicon.ico'
html_static_path = ['_static']
latex_elements = {
'preamble': latex_elements.TOC_DEPTH +
latex_elements.PAGE_BLANK +
latex_elements.TOC_CMD +
latex_elements.LATEX_HYPHEN +
latex_elements.doc_settings(DOCS[doc_name]['title'],
version),
'tableofcontents': latex_elements.TOC}
latex_documents = [
(master_doc, '%s.tex' % doc_name, project, u'AdaCore', 'manual')]
texinfo_documents = [
(master_doc, doc_name, project,
u'AdaCore', doc_name, doc_name, '')]
def setup(app):
app.add_lexer('ada', ada_pygments.AdaLexer())
app.add_lexer('gpr', ada_pygments.GNATProjectLexer())
