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