xref: /petsc/doc/conf.py (revision 5becb6a3a7fe6fe66ca978502f4679a4b24b29fc)
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
20*5becb6a3SPatrick 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',
754b6f941bSPatrick Sanan]
764b6f941bSPatrick Sanan
77f3c6b5cdSPatrick Sanancopybutton_prompt_text = '$ '
784b6f941bSPatrick Sanan
7954129d2fSPatrick Sananbibtex_bibfiles = ['petsc.bib']
804b6f941bSPatrick Sanan
818f2bcf5fSPatrick Sananmyst_enable_extensions = ["dollarmath", "amsmath", "deflist"]
828f2bcf5fSPatrick Sanan
8396b7068eSPatrick Sanan# -- Options for HTML output ---------------------------------------------------
84ee12ae39SPatrick Sanan
85ee12ae39SPatrick Sananhtml_theme = 'pydata_sphinx_theme'
86ee12ae39SPatrick Sanan
87ee12ae39SPatrick Sananhtml_theme_options = {
88ee12ae39SPatrick Sanan    "icon_links": [
89ee12ae39SPatrick Sanan        {
90ee12ae39SPatrick Sanan            "name": "GitLab",
91ee12ae39SPatrick Sanan            "url": "https://gitlab.com/petsc/petsc",
92ee12ae39SPatrick Sanan            "icon": "fab fa-gitlab",
93ee12ae39SPatrick Sanan        },
94ee12ae39SPatrick Sanan    ],
95ee12ae39SPatrick Sanan    "use_edit_page_button": True,
96ffebb2dfSPatrick Sanan    "footer_items": ["copyright", "sphinx-version", "last-updated"],
97ee12ae39SPatrick Sanan}
98ee12ae39SPatrick Sanan
99d3edb92dSPatrick Sanantry:
100d3edb92dSPatrick Sanan  git_ref = subprocess.check_output(["git", "rev-parse", "HEAD"]).rstrip()
101d3edb92dSPatrick Sanan  git_ref_release = subprocess.check_output(["git", "rev-parse", "origin/release"]).rstrip()
102d3edb92dSPatrick Sanan  edit_branch = "release" if git_ref == git_ref_release else "main"
103d3edb92dSPatrick Sananexcept subprocess.CalledProcessError:
104d3edb92dSPatrick Sanan  print("WARNING: determining branch for page edit links failed")
105d3edb92dSPatrick Sanan  edit_branch = "main"
106d3edb92dSPatrick Sanan
107ee12ae39SPatrick Sananhtml_context = {
108ee12ae39SPatrick Sanan    "github_url": "https://gitlab.com",
109ee12ae39SPatrick Sanan    "github_user": "petsc",
110ee12ae39SPatrick Sanan    "github_repo": "petsc",
111d3edb92dSPatrick Sanan    "github_version": edit_branch,
112ee12ae39SPatrick Sanan    "doc_path": "doc",
113ee12ae39SPatrick Sanan}
114ee12ae39SPatrick Sanan
115fc1137abSPatrick Sananhtml_logo = os.path.join('images', 'logos', 'PETSc_TAO_logos', 'PETSc-TAO', 'web', 'PETSc-TAO_RGB.svg')
116fc1137abSPatrick Sananhtml_favicon = os.path.join('images', 'logos', 'PETSc_TAO_logos', 'PETSc', 'petsc_favicon.png')
11796b7068eSPatrick Sananhtml_last_updated_fmt = r'%Y-%m-%dT%H:%M:%S%z (' + git_describe_version + ')'
118ee12ae39SPatrick Sanan
119ee12ae39SPatrick Sanan
120ffebb2dfSPatrick Sanan
12196b7068eSPatrick Sanan# -- Options for LaTeX output --------------------------------------------------
122ee12ae39SPatrick Sananlatex_engine = 'xelatex'
123ee12ae39SPatrick Sanan
12496b7068eSPatrick Sanan# How to arrange the documents into LaTeX files, building only the manual.
125ee12ae39SPatrick Sananlatex_documents = [
1262cb00302SPatrick Sanan        ('docs/manual/index', 'manual.tex', 'PETSc/TAO Users Manual', author, 'manual', False)
127ee12ae39SPatrick Sanan        ]
128ee12ae39SPatrick Sanan
129ee12ae39SPatrick Sananlatex_additional_files = [
130c469c614SPatrick Sanan    'images/docs/manual/anl_tech_report/ArgonneLogo.pdf',
131c469c614SPatrick Sanan    'images/docs/manual/anl_tech_report/ArgonneReportTemplateLastPage.pdf',
132c469c614SPatrick Sanan    'images/docs/manual/anl_tech_report/ArgonneReportTemplatePage2.pdf',
1332cb00302SPatrick Sanan    'docs/manual/anl_tech_report/first.inc',
1342cb00302SPatrick Sanan    'docs/manual/anl_tech_report/last.inc',
135ee12ae39SPatrick Sanan]
136ee12ae39SPatrick Sanan
137ee12ae39SPatrick Sananlatex_elements = {
138ee12ae39SPatrick Sanan    'maketitle': r'\newcommand{\techreportversion}{%s}' % version +
139ee12ae39SPatrick Sananr'''
140ee12ae39SPatrick Sanan\input{first.inc}
141ee12ae39SPatrick Sanan''',
142ee12ae39SPatrick Sanan    'printindex': r'''
143ee12ae39SPatrick Sanan\printindex
144ee12ae39SPatrick Sanan\input{last.inc}
145ee12ae39SPatrick Sanan''',
146ee12ae39SPatrick Sanan    'fontpkg': r'''
147ee12ae39SPatrick Sanan\setsansfont{DejaVu Sans}
148ee12ae39SPatrick Sanan\setmonofont{DejaVu Sans Mono}
1491b671caaSPatrick Sanan''',
1501b671caaSPatrick Sanan    'tableofcontents' : r''
151ee12ae39SPatrick Sanan}
152ee12ae39SPatrick Sanan
153ee12ae39SPatrick Sanan
15496b7068eSPatrick Sanan# -- Setup and event callbacks -------------------------------------------------
155ee12ae39SPatrick Sanan
15602f5a9aaSPatrick Sanandef _build_classic_docs(app):
15702f5a9aaSPatrick Sanan    build_classic_docs.main()
15802f5a9aaSPatrick Sanan
15902f5a9aaSPatrick Sanan
16002f5a9aaSPatrick Sanandef builder_init_handler(app):
16102f5a9aaSPatrick Sanan    _build_classic_docs(app)
162589e537fSPatrick Sanan    _copy_classic_docs(app, None, '.', 'pre')
163*5becb6a3SPatrick Sanan    _update_htmlmap_links(app)
16402f5a9aaSPatrick Sanan
16502f5a9aaSPatrick Sanan
166589e537fSPatrick Sanandef _copy_classic_docs(app, exception, destination, stage):
1671e537200SPatrick Sanan    if exception is None and app.builder.name.endswith('html'):
1681e537200SPatrick Sanan        print("============================================")
169589e537fSPatrick Sanan        print("    Copying classic docs from conf.py (%s)" % stage)
1701e537200SPatrick Sanan        print("============================================")
171589e537fSPatrick Sanan        build_classic_docs.copy_classic_docs(destination, stage)
17202f5a9aaSPatrick Sanan
17302f5a9aaSPatrick Sanan
17402f5a9aaSPatrick Sanandef _fix_links(app, exception):
17502f5a9aaSPatrick Sanan    if exception is None and app.builder.name.endswith('html'):
1767553d27dSPatrick Sanan        print("============================================")
1777553d27dSPatrick Sanan        print("    Fixing relative links from conf.py      ")
1787553d27dSPatrick Sanan        print("============================================")
17902f5a9aaSPatrick Sanan        make_links_relative.make_links_relative(app.outdir)
18002f5a9aaSPatrick Sanan
18102f5a9aaSPatrick Sanan
18202f5a9aaSPatrick Sanandef build_finished_handler(app, exception):
183589e537fSPatrick Sanan    _copy_classic_docs(app, exception, app.outdir, 'post')
1841540e0edSPatrick Sanan    _fix_links(app, exception)
18530f5c8b0SPatrick Sanan    if app.builder.name == 'html':
18628cbf9b2SBarry Smith        print("==========================================================================")
18728cbf9b2SBarry Smith        print("    open %s/index.html in your browser to view the documentation " % app.outdir)
18828cbf9b2SBarry Smith        print("==========================================================================")
18902f5a9aaSPatrick Sanan
1907553d27dSPatrick Sanan
191*5becb6a3SPatrick Sanandef _update_htmlmap_links(app):
192*5becb6a3SPatrick Sanan    if app.builder.name.endswith('html'):
193*5becb6a3SPatrick Sanan        print("============================================")
194*5becb6a3SPatrick Sanan        print("    Updating htmlmap from conf.py           ")
195*5becb6a3SPatrick Sanan        print("============================================")
196*5becb6a3SPatrick Sanan        update_htmlmap_links.update_htmlmap_links(app.builder)
197*5becb6a3SPatrick Sanan
198*5becb6a3SPatrick Sanan
199ee12ae39SPatrick Sanandef setup(app):
200ee12ae39SPatrick Sanan    app.connect('builder-inited', builder_init_handler)
2017553d27dSPatrick Sanan    app.connect('build-finished', build_finished_handler)
202