xref: /petsc/doc/conf.py (revision b8a29d3a8ae789ef92866850ff345da35a6454ef)
1ee12ae39SPatrick Sanan# Configuration file for the Sphinx documentation builder.
2ee12ae39SPatrick Sanan#
396b7068eSPatrick Sanan# For information on options, see
4ee12ae39SPatrick Sanan#   http://www.sphinx-doc.org/en/master/config
5ee12ae39SPatrick Sanan#
696b7068eSPatrick Sanan# You may also find it helpful to run "sphinx-quickstart" in a scratch
702f5a9aaSPatrick Sanan# directory and read the comments in the automatically-generated conf.py file.
896b7068eSPatrick Sanan
9ee12ae39SPatrick Sananimport os
10ee12ae39SPatrick Sananimport sys
11ee12ae39SPatrick Sananimport subprocess
12ee12ae39SPatrick Sananimport re
13ee12ae39SPatrick Sananimport datetime
14ee12ae39SPatrick Sanan
15ee12ae39SPatrick Sanansys.path.append(os.getcwd())
16ee12ae39SPatrick Sanansys.path.append(os.path.abspath('./ext'))
17ee12ae39SPatrick Sanan
1802f5a9aaSPatrick Sananimport build_classic_docs
1902f5a9aaSPatrick Sananimport make_links_relative
205becb6a3SPatrick Sananimport update_htmlmap_links
2102f5a9aaSPatrick Sanan
2202f5a9aaSPatrick Sanan
23e6bab0d2SPatrick Sananif not os.path.isdir("images"):
24e6bab0d2SPatrick Sanan    print("-----------------------------------------------------------------------------")
25e6bab0d2SPatrick Sanan    print("ERROR")
26e6bab0d2SPatrick Sanan    print("images directory does not seem to exist.")
27e6bab0d2SPatrick Sanan    print("To clone the required repository, try")
28e6bab0d2SPatrick Sanan    print("   make images")
29e6bab0d2SPatrick Sanan    print("-----------------------------------------------------------------------------")
30e6bab0d2SPatrick Sanan    raise Exception("Aborting because images missing")
31e6bab0d2SPatrick Sanan
32e6bab0d2SPatrick Sanan
3396b7068eSPatrick Sanan# -- Project information -------------------------------------------------------
34ee12ae39SPatrick Sanan
35ee12ae39SPatrick Sananproject = 'PETSc'
36ee12ae39SPatrick Sanancopyright = '1991-%d, UChicago Argonne, LLC and the PETSc Development Team' % datetime.date.today().year
37ee12ae39SPatrick Sananauthor = 'The PETSc Development Team'
38ee12ae39SPatrick Sanan
39404447afSPatrick Sananwith open(os.path.join('..', 'include', 'petscversion.h'),'r') as version_file:
40ee12ae39SPatrick Sanan    buf = version_file.read()
41ee12ae39SPatrick Sanan    petsc_release_flag = re.search(' PETSC_VERSION_RELEASE[ ]*([0-9]*)',buf).group(1)
42ee12ae39SPatrick Sanan    major_version      = re.search(' PETSC_VERSION_MAJOR[ ]*([0-9]*)',buf).group(1)
43ee12ae39SPatrick Sanan    minor_version      = re.search(' PETSC_VERSION_MINOR[ ]*([0-9]*)',buf).group(1)
44ee12ae39SPatrick Sanan    subminor_version   = re.search(' PETSC_VERSION_SUBMINOR[ ]*([0-9]*)',buf).group(1)
45ee12ae39SPatrick Sanan
46ffebb2dfSPatrick Sanan    git_describe_version = subprocess.check_output(['git', 'describe', '--always']).strip().decode('utf-8')
47ee12ae39SPatrick Sanan    if petsc_release_flag == '0':
48ffebb2dfSPatrick Sanan        version = git_describe_version
49ffebb2dfSPatrick Sanan        release = git_describe_version
50ee12ae39SPatrick Sanan    else:
51ee12ae39SPatrick Sanan        version = '.'.join([major_version, minor_version])
52ee12ae39SPatrick Sanan        release = '.'.join([major_version,minor_version,subminor_version])
53ee12ae39SPatrick Sanan
54ee12ae39SPatrick Sanan
5596b7068eSPatrick Sanan# -- General configuration -----------------------------------------------------
5696b7068eSPatrick Sanan
5796b7068eSPatrick Sananneeds_sphinx='3.5'
5896b7068eSPatrick Sanannitpicky = True  # checks internal links. For external links, use "make linkcheck"
59ee12ae39SPatrick Sananmaster_doc = 'index'
60ee12ae39SPatrick Sanantemplates_path = ['_templates']
61589e537fSPatrick Sananexclude_patterns = ['_build*', 'images', 'Thumbs.db', '.DS_Store']
6296b7068eSPatrick Sananhighlight_language = 'c'
6396b7068eSPatrick Sanannumfig = True
64ee12ae39SPatrick Sanan
6596b7068eSPatrick Sanan# -- Extensions ----------------------------------------------------------------
66ee12ae39SPatrick Sanan
674b6f941bSPatrick Sananextensions = [
684b6f941bSPatrick Sanan    'sphinx_copybutton',
6999ed6026SPatrick Sanan    'sphinx_panels',
704b6f941bSPatrick Sanan    'sphinxcontrib.bibtex',
714b6f941bSPatrick Sanan    'sphinxcontrib.katex',
724b6f941bSPatrick Sanan    'sphinxcontrib.rsvgconverter',
738f2bcf5fSPatrick Sanan    'myst_parser',
744b6f941bSPatrick Sanan    'html5_petsc',
754707091fSPatrick Sanan    'sphinx_remove_toctrees',
764b6f941bSPatrick Sanan]
774b6f941bSPatrick Sanan
78f3c6b5cdSPatrick Sanancopybutton_prompt_text = '$ '
794b6f941bSPatrick Sanan
8054129d2fSPatrick Sananbibtex_bibfiles = ['petsc.bib']
814b6f941bSPatrick Sanan
828f2bcf5fSPatrick Sananmyst_enable_extensions = ["dollarmath", "amsmath", "deflist"]
838f2bcf5fSPatrick Sanan
844707091fSPatrick Sananremove_from_toctrees = ['docs/manualpages/*']
854707091fSPatrick Sanan
8696b7068eSPatrick Sanan# -- Options for HTML output ---------------------------------------------------
87ee12ae39SPatrick Sanan
88ee12ae39SPatrick Sananhtml_theme = 'pydata_sphinx_theme'
89ee12ae39SPatrick Sanan
90ee12ae39SPatrick Sananhtml_theme_options = {
91ee12ae39SPatrick Sanan    "icon_links": [
92ee12ae39SPatrick Sanan        {
93ee12ae39SPatrick Sanan            "name": "GitLab",
94ee12ae39SPatrick Sanan            "url": "https://gitlab.com/petsc/petsc",
95ee12ae39SPatrick Sanan            "icon": "fab fa-gitlab",
96ee12ae39SPatrick Sanan        },
97ee12ae39SPatrick Sanan    ],
98ee12ae39SPatrick Sanan    "use_edit_page_button": True,
99ffebb2dfSPatrick Sanan    "footer_items": ["copyright", "sphinx-version", "last-updated"],
100ee12ae39SPatrick Sanan}
101ee12ae39SPatrick Sanan
102d3edb92dSPatrick Sanantry:
103d3edb92dSPatrick Sanan  git_ref = subprocess.check_output(["git", "rev-parse", "HEAD"]).rstrip()
104d3edb92dSPatrick Sanan  git_ref_release = subprocess.check_output(["git", "rev-parse", "origin/release"]).rstrip()
105d3edb92dSPatrick Sanan  edit_branch = "release" if git_ref == git_ref_release else "main"
106d3edb92dSPatrick Sananexcept subprocess.CalledProcessError:
107d3edb92dSPatrick Sanan  print("WARNING: determining branch for page edit links failed")
108d3edb92dSPatrick Sanan  edit_branch = "main"
109d3edb92dSPatrick Sanan
110ee12ae39SPatrick Sananhtml_context = {
111ee12ae39SPatrick Sanan    "github_url": "https://gitlab.com",
112ee12ae39SPatrick Sanan    "github_user": "petsc",
113ee12ae39SPatrick Sanan    "github_repo": "petsc",
114d3edb92dSPatrick Sanan    "github_version": edit_branch,
115ee12ae39SPatrick Sanan    "doc_path": "doc",
116ee12ae39SPatrick Sanan}
117ee12ae39SPatrick Sanan
118fc1137abSPatrick Sananhtml_logo = os.path.join('images', 'logos', 'PETSc_TAO_logos', 'PETSc-TAO', 'web', 'PETSc-TAO_RGB.svg')
119fc1137abSPatrick Sananhtml_favicon = os.path.join('images', 'logos', 'PETSc_TAO_logos', 'PETSc', 'petsc_favicon.png')
12096b7068eSPatrick Sananhtml_last_updated_fmt = r'%Y-%m-%dT%H:%M:%S%z (' + git_describe_version + ')'
121ee12ae39SPatrick Sanan
122ee12ae39SPatrick Sanan
123ffebb2dfSPatrick Sanan
12496b7068eSPatrick Sanan# -- Options for LaTeX output --------------------------------------------------
125ee12ae39SPatrick Sananlatex_engine = 'xelatex'
126ee12ae39SPatrick Sanan
12796b7068eSPatrick Sanan# How to arrange the documents into LaTeX files, building only the manual.
128ee12ae39SPatrick Sananlatex_documents = [
1292cb00302SPatrick Sanan        ('docs/manual/index', 'manual.tex', 'PETSc/TAO Users Manual', author, 'manual', False)
130ee12ae39SPatrick Sanan        ]
131ee12ae39SPatrick Sanan
132ee12ae39SPatrick Sananlatex_additional_files = [
133c469c614SPatrick Sanan    'images/docs/manual/anl_tech_report/ArgonneLogo.pdf',
134c469c614SPatrick Sanan    'images/docs/manual/anl_tech_report/ArgonneReportTemplateLastPage.pdf',
135c469c614SPatrick Sanan    'images/docs/manual/anl_tech_report/ArgonneReportTemplatePage2.pdf',
1362cb00302SPatrick Sanan    'docs/manual/anl_tech_report/first.inc',
1372cb00302SPatrick Sanan    'docs/manual/anl_tech_report/last.inc',
138ee12ae39SPatrick Sanan]
139ee12ae39SPatrick Sanan
140ee12ae39SPatrick Sananlatex_elements = {
141ee12ae39SPatrick Sanan    'maketitle': r'\newcommand{\techreportversion}{%s}' % version +
142ee12ae39SPatrick Sananr'''
143ee12ae39SPatrick Sanan\input{first.inc}
144ee12ae39SPatrick Sanan''',
145ee12ae39SPatrick Sanan    'printindex': r'''
146ee12ae39SPatrick Sanan\printindex
147ee12ae39SPatrick Sanan\input{last.inc}
148ee12ae39SPatrick Sanan''',
149ee12ae39SPatrick Sanan    'fontpkg': r'''
150ee12ae39SPatrick Sanan\setsansfont{DejaVu Sans}
151ee12ae39SPatrick Sanan\setmonofont{DejaVu Sans Mono}
1521b671caaSPatrick Sanan''',
1531b671caaSPatrick Sanan    'tableofcontents' : r''
154ee12ae39SPatrick Sanan}
155ee12ae39SPatrick Sanan
156ee12ae39SPatrick Sanan
15796b7068eSPatrick Sanan# -- Setup and event callbacks -------------------------------------------------
158ee12ae39SPatrick Sanan
159*b8a29d3aSPatrick Sanandef _build_classic_docs(app, stage):
160*b8a29d3aSPatrick Sanan    build_classic_docs.main(stage)
16102f5a9aaSPatrick Sanan
16202f5a9aaSPatrick Sanan
16302f5a9aaSPatrick Sanandef builder_init_handler(app):
164*b8a29d3aSPatrick Sanan    _build_classic_docs(app, 'pre')
165589e537fSPatrick Sanan    _copy_classic_docs(app, None, '.', 'pre')
1665becb6a3SPatrick Sanan    _update_htmlmap_links(app)
16702f5a9aaSPatrick Sanan
16802f5a9aaSPatrick Sanan
169589e537fSPatrick Sanandef _copy_classic_docs(app, exception, destination, stage):
1701e537200SPatrick Sanan    if exception is None and app.builder.name.endswith('html'):
1711e537200SPatrick Sanan        print("============================================")
172589e537fSPatrick Sanan        print("    Copying classic docs from conf.py (%s)" % stage)
1731e537200SPatrick Sanan        print("============================================")
174589e537fSPatrick Sanan        build_classic_docs.copy_classic_docs(destination, stage)
17502f5a9aaSPatrick Sanan
17602f5a9aaSPatrick Sanan
17702f5a9aaSPatrick Sanandef _fix_links(app, exception):
17802f5a9aaSPatrick Sanan    if exception is None and app.builder.name.endswith('html'):
1797553d27dSPatrick Sanan        print("============================================")
1807553d27dSPatrick Sanan        print("    Fixing relative links from conf.py      ")
1817553d27dSPatrick Sanan        print("============================================")
18202f5a9aaSPatrick Sanan        make_links_relative.make_links_relative(app.outdir)
18302f5a9aaSPatrick Sanan
18402f5a9aaSPatrick Sanan
18502f5a9aaSPatrick Sanandef build_finished_handler(app, exception):
186*b8a29d3aSPatrick Sanan    _build_classic_docs(app, 'post')
187589e537fSPatrick Sanan    _copy_classic_docs(app, exception, app.outdir, 'post')
1881540e0edSPatrick Sanan    _fix_links(app, exception)
18930f5c8b0SPatrick Sanan    if app.builder.name == 'html':
19028cbf9b2SBarry Smith        print("==========================================================================")
19128cbf9b2SBarry Smith        print("    open %s/index.html in your browser to view the documentation " % app.outdir)
19228cbf9b2SBarry Smith        print("==========================================================================")
19302f5a9aaSPatrick Sanan
1947553d27dSPatrick Sanan
1955becb6a3SPatrick Sanandef _update_htmlmap_links(app):
1965becb6a3SPatrick Sanan    if app.builder.name.endswith('html'):
1975becb6a3SPatrick Sanan        print("============================================")
1985becb6a3SPatrick Sanan        print("    Updating htmlmap from conf.py           ")
1995becb6a3SPatrick Sanan        print("============================================")
2005becb6a3SPatrick Sanan        update_htmlmap_links.update_htmlmap_links(app.builder)
2015becb6a3SPatrick Sanan
2025becb6a3SPatrick Sanan
203ee12ae39SPatrick Sanandef setup(app):
204ee12ae39SPatrick Sanan    app.connect('builder-inited', builder_init_handler)
2057553d27dSPatrick Sanan    app.connect('build-finished', build_finished_handler)
206