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 7ee12ae39SPatrick Sananimport os 8ee12ae39SPatrick Sananimport sys 9ee12ae39SPatrick Sananimport subprocess 10ee12ae39SPatrick Sananimport re 11ee12ae39SPatrick Sananimport datetime 129cd31cfbSBarry Smithimport shutil 13ee12ae39SPatrick Sanan 14ee12ae39SPatrick Sanansys.path.append(os.getcwd()) 15ee12ae39SPatrick Sanansys.path.append(os.path.abspath('./ext')) 16ee12ae39SPatrick Sanan 1795216c61SPatrick Sananimport add_man_page_redirects 1802f5a9aaSPatrick Sananimport build_classic_docs 19c9f6b0acSPatrick Sananimport fix_man_page_edit_links 2002f5a9aaSPatrick Sananimport make_links_relative 215becb6a3SPatrick Sananimport update_htmlmap_links 229f89e73bSBarry Smithimport fix_pydata_margins 2302f5a9aaSPatrick Sanan 2402f5a9aaSPatrick Sanan 25e6bab0d2SPatrick Sananif not os.path.isdir("images"): 26e6bab0d2SPatrick Sanan print("-----------------------------------------------------------------------------") 27e6bab0d2SPatrick Sanan print("ERROR") 28e6bab0d2SPatrick Sanan print("images directory does not seem to exist.") 29e6bab0d2SPatrick Sanan print("To clone the required repository, try") 30e6bab0d2SPatrick Sanan print(" make images") 31e6bab0d2SPatrick Sanan print("-----------------------------------------------------------------------------") 32e6bab0d2SPatrick Sanan raise Exception("Aborting because images missing") 33e6bab0d2SPatrick Sanan 34e6bab0d2SPatrick Sanan 3596b7068eSPatrick Sanan# -- Project information ------------------------------------------------------- 36ee12ae39SPatrick Sanan 37ee12ae39SPatrick Sananproject = 'PETSc' 38ee12ae39SPatrick Sanancopyright = '1991-%d, UChicago Argonne, LLC and the PETSc Development Team' % datetime.date.today().year 39ee12ae39SPatrick Sananauthor = 'The PETSc Development Team' 40ee12ae39SPatrick Sanan 41404447afSPatrick Sananwith open(os.path.join('..', 'include', 'petscversion.h'),'r') as version_file: 42ee12ae39SPatrick Sanan buf = version_file.read() 43ee12ae39SPatrick Sanan petsc_release_flag = re.search(' PETSC_VERSION_RELEASE[ ]*([0-9]*)',buf).group(1) 44ee12ae39SPatrick Sanan major_version = re.search(' PETSC_VERSION_MAJOR[ ]*([0-9]*)',buf).group(1) 45ee12ae39SPatrick Sanan minor_version = re.search(' PETSC_VERSION_MINOR[ ]*([0-9]*)',buf).group(1) 46ee12ae39SPatrick Sanan subminor_version = re.search(' PETSC_VERSION_SUBMINOR[ ]*([0-9]*)',buf).group(1) 47ee12ae39SPatrick Sanan 48ffebb2dfSPatrick Sanan git_describe_version = subprocess.check_output(['git', 'describe', '--always']).strip().decode('utf-8') 49ee12ae39SPatrick Sanan if petsc_release_flag == '0': 50ffebb2dfSPatrick Sanan version = git_describe_version 51ffebb2dfSPatrick Sanan release = git_describe_version 52ee12ae39SPatrick Sanan else: 53ee12ae39SPatrick Sanan version = '.'.join([major_version, minor_version]) 54ee12ae39SPatrick Sanan release = '.'.join([major_version,minor_version,subminor_version]) 55ee12ae39SPatrick Sanan 56ee12ae39SPatrick Sanan 5796b7068eSPatrick Sanan# -- General configuration ----------------------------------------------------- 5896b7068eSPatrick Sanan 5966c9fbddSBarry Smith# The information on the next line must also be the same in requirements.txt 60d1f92df0SBarry Smithneeds_sphinx='5.3' 6196b7068eSPatrick Sanannitpicky = True # checks internal links. For external links, use "make linkcheck" 62ee12ae39SPatrick Sananmaster_doc = 'index' 63ee12ae39SPatrick Sanantemplates_path = ['_templates'] 6466c9fbddSBarry Smithexclude_patterns = ['_build*', 'images', 'Thumbs.db', '.DS_Store','community/meetings/pre-2023'] 6596b7068eSPatrick Sananhighlight_language = 'c' 6696b7068eSPatrick Sanannumfig = True 67ee12ae39SPatrick Sanan 6896b7068eSPatrick Sanan# -- Extensions ---------------------------------------------------------------- 69ee12ae39SPatrick Sanan 704b6f941bSPatrick Sananextensions = [ 714b6f941bSPatrick Sanan 'sphinx_copybutton', 724a3b3e5fSJed Brown 'sphinx_design', 734b6f941bSPatrick Sanan 'sphinxcontrib.bibtex', 744b6f941bSPatrick Sanan 'sphinxcontrib.katex', 754b6f941bSPatrick Sanan 'sphinxcontrib.rsvgconverter', 768f2bcf5fSPatrick Sanan 'myst_parser', 774b6f941bSPatrick Sanan 'html5_petsc', 784707091fSPatrick Sanan 'sphinx_remove_toctrees', 794b6f941bSPatrick Sanan] 804b6f941bSPatrick Sanan 81f3c6b5cdSPatrick Sanancopybutton_prompt_text = '$ ' 824b6f941bSPatrick Sanan 8354129d2fSPatrick Sananbibtex_bibfiles = ['petsc.bib'] 844b6f941bSPatrick Sanan 853d8af492SBarry Smithmyst_enable_extensions = ["fieldlist", "dollarmath", "amsmath", "deflist"] 868f2bcf5fSPatrick Sanan 878a0d1e8bSBarry Smithremove_from_toctrees = ['manualpages/*/[A-Z]*','changes/2*','changes/3*'] 884707091fSPatrick Sanan 8996b7068eSPatrick Sanan# -- Options for HTML output --------------------------------------------------- 90ee12ae39SPatrick Sanan 91ee12ae39SPatrick Sananhtml_theme = 'pydata_sphinx_theme' 92ee12ae39SPatrick Sanan 9380dc5c2eSToby Isaachtml_logo_light = os.path.join('images', 'logos', 'PETSc_TAO_logos', 'PETSc-TAO', 'web', 'PETSc-TAO_RGB.svg') 9480dc5c2eSToby Isaachtml_logo_dark = os.path.join('images', 'logos', 'PETSc_TAO_logos', 'PETSc-TAO', 'web', 'PETSc-TAO_RGB_white.svg') 9580dc5c2eSToby Isaac 967c561f09SBarry Smithhtml_static_path = ['_static', html_logo_light, html_logo_dark] 977c561f09SBarry Smith 987c561f09SBarry Smith# use much smaller font for h1, h2 etc. They are absurdly large in the standard style 997c561f09SBarry Smith# https://pydata-sphinx-theme.readthedocs.io/en/v0.12.0/user_guide/styling.html 1007c561f09SBarry Smithhtml_css_files = [ 1017c561f09SBarry Smith 'css/custom.css', 1027c561f09SBarry Smith] 10380dc5c2eSToby Isaac 104ee12ae39SPatrick Sananhtml_theme_options = { 105ee12ae39SPatrick Sanan "icon_links": [ 106ee12ae39SPatrick Sanan { 107ee12ae39SPatrick Sanan "name": "GitLab", 108ee12ae39SPatrick Sanan "url": "https://gitlab.com/petsc/petsc", 109ee12ae39SPatrick Sanan "icon": "fab fa-gitlab", 110ee12ae39SPatrick Sanan }, 111ee12ae39SPatrick Sanan ], 112ee12ae39SPatrick Sanan "use_edit_page_button": True, 113ffebb2dfSPatrick Sanan "footer_items": ["copyright", "sphinx-version", "last-updated"], 114d1f92df0SBarry Smith# "secondary_sidebar_items" : ["edit-this-page"], 1153d8af492SBarry Smith "header_links_before_dropdown": 10, 11680dc5c2eSToby Isaac "logo": { 11780dc5c2eSToby Isaac "image_light": os.path.basename(html_logo_light), 11880dc5c2eSToby Isaac "image_dark": os.path.basename(html_logo_dark) 11980dc5c2eSToby Isaac } 120ee12ae39SPatrick Sanan} 121ee12ae39SPatrick Sanan 122d3edb92dSPatrick Sanantry: 123d3edb92dSPatrick Sanan git_ref = subprocess.check_output(["git", "rev-parse", "HEAD"]).rstrip() 124d3edb92dSPatrick Sanan git_ref_release = subprocess.check_output(["git", "rev-parse", "origin/release"]).rstrip() 125d3edb92dSPatrick Sanan edit_branch = "release" if git_ref == git_ref_release else "main" 126d3edb92dSPatrick Sananexcept subprocess.CalledProcessError: 127d3edb92dSPatrick Sanan print("WARNING: determining branch for page edit links failed") 128d3edb92dSPatrick Sanan edit_branch = "main" 129d3edb92dSPatrick Sanan 130ee12ae39SPatrick Sananhtml_context = { 131ee12ae39SPatrick Sanan "github_url": "https://gitlab.com", 132ee12ae39SPatrick Sanan "github_user": "petsc", 133ee12ae39SPatrick Sanan "github_repo": "petsc", 134d3edb92dSPatrick Sanan "github_version": edit_branch, 135ee12ae39SPatrick Sanan "doc_path": "doc", 136ee12ae39SPatrick Sanan} 137ee12ae39SPatrick Sanan 13880dc5c2eSToby Isaachtml_logo = html_logo_light 139fc1137abSPatrick Sananhtml_favicon = os.path.join('images', 'logos', 'PETSc_TAO_logos', 'PETSc', 'petsc_favicon.png') 14096b7068eSPatrick Sananhtml_last_updated_fmt = r'%Y-%m-%dT%H:%M:%S%z (' + git_describe_version + ')' 141ee12ae39SPatrick Sanan 142ee12ae39SPatrick Sanan 14396b7068eSPatrick Sanan# -- Options for LaTeX output -------------------------------------------------- 144ee12ae39SPatrick Sananlatex_engine = 'xelatex' 145ee12ae39SPatrick Sanan 14696b7068eSPatrick Sanan# How to arrange the documents into LaTeX files, building only the manual. 147ee12ae39SPatrick Sananlatex_documents = [ 14873fdd05bSBarry Smith ('manual/index', 'manual.tex', 'PETSc/TAO Users Manual', author, 'manual', False) 149ee12ae39SPatrick Sanan ] 150ee12ae39SPatrick Sanan 151ee12ae39SPatrick Sananlatex_additional_files = [ 15273fdd05bSBarry Smith 'images/manual/anl_tech_report/ArgonneLogo.pdf', 15373fdd05bSBarry Smith 'images/manual/anl_tech_report/ArgonneReportTemplateLastPage.pdf', 15473fdd05bSBarry Smith 'images/manual/anl_tech_report/ArgonneReportTemplatePage2.pdf', 15573fdd05bSBarry Smith 'manual/anl_tech_report/first.inc', 15673fdd05bSBarry Smith 'manual/anl_tech_report/last.inc', 157ee12ae39SPatrick Sanan] 158ee12ae39SPatrick Sanan 159ee12ae39SPatrick Sananlatex_elements = { 160ee12ae39SPatrick Sanan 'maketitle': r'\newcommand{\techreportversion}{%s}' % version + 161ee12ae39SPatrick Sananr''' 162ee12ae39SPatrick Sanan\input{first.inc} 163ee12ae39SPatrick Sanan''', 164ee12ae39SPatrick Sanan 'printindex': r''' 165ee12ae39SPatrick Sanan\printindex 166ee12ae39SPatrick Sanan\input{last.inc} 167ee12ae39SPatrick Sanan''', 168ee12ae39SPatrick Sanan 'fontpkg': r''' 169ee12ae39SPatrick Sanan\setsansfont{DejaVu Sans} 170ee12ae39SPatrick Sanan\setmonofont{DejaVu Sans Mono} 1711b671caaSPatrick Sanan''', 1721b671caaSPatrick Sanan 'tableofcontents' : r'' 173ee12ae39SPatrick Sanan} 174ee12ae39SPatrick Sanan 175ee12ae39SPatrick Sanan 17696b7068eSPatrick Sanan# -- Setup and event callbacks ------------------------------------------------- 177ee12ae39SPatrick Sanan 17875662446SPatrick Sanandef setup(app): 17975662446SPatrick Sanan app.connect('builder-inited', builder_init_handler) 18075662446SPatrick Sanan app.connect('build-finished', build_finished_handler) 18102f5a9aaSPatrick Sanan 18202f5a9aaSPatrick Sanan 18302f5a9aaSPatrick Sanandef builder_init_handler(app): 18475662446SPatrick Sanan if app.builder.name.endswith('html'): 185b8a29d3aSPatrick Sanan _build_classic_docs(app, 'pre') 1865becb6a3SPatrick Sanan _update_htmlmap_links(app) 18702f5a9aaSPatrick Sanan 18802f5a9aaSPatrick Sanan 18902f5a9aaSPatrick Sanandef build_finished_handler(app, exception): 19075662446SPatrick Sanan if app.builder.name.endswith('html'): 191b8a29d3aSPatrick Sanan _build_classic_docs(app, 'post') 192c6c2e312SBarry Smith build_petsc4py_docs(app) 1931540e0edSPatrick Sanan _fix_links(app, exception) 194c9f6b0acSPatrick Sanan _fix_man_page_edit_links(app, exception) 1959f89e73bSBarry Smith fix_pydata_margins.fix_pydata_margins(app.outdir) 19695216c61SPatrick Sanan if app.builder.name == 'dirhtml': 19795216c61SPatrick Sanan _add_man_page_redirects(app, exception) 1989cd31cfbSBarry Smith # remove sources for manual pages since they are automatically generated and should not be looked at on the website 1999cd31cfbSBarry Smith if os.path.isdir(os.path.join(app.outdir,'_sources','manualpages')): 2009cd31cfbSBarry Smith shutil.rmtree(os.path.join(app.outdir,'_sources','manualpages')) 20130f5c8b0SPatrick Sanan if app.builder.name == 'html': 20228cbf9b2SBarry Smith print("==========================================================================") 20328cbf9b2SBarry Smith print(" open %s/index.html in your browser to view the documentation " % app.outdir) 20428cbf9b2SBarry Smith print("==========================================================================") 20502f5a9aaSPatrick Sanan 20695216c61SPatrick Sanandef _add_man_page_redirects(app, exception): 20795216c61SPatrick Sanan if exception is None: 2086058a5bfSBarry Smith import time 20995216c61SPatrick Sanan print("============================================") 21095216c61SPatrick Sanan print(" Adding man pages redirects") 2116058a5bfSBarry Smith x = time.clock_gettime(time.CLOCK_REALTIME) 21295216c61SPatrick Sanan add_man_page_redirects.add_man_page_redirects(app.outdir) 2136058a5bfSBarry Smith print("Time: "+str(time.clock_gettime(time.CLOCK_REALTIME) - x)) 2146058a5bfSBarry Smith print("============================================") 2157553d27dSPatrick Sanan 21675662446SPatrick Sanandef _build_classic_docs(app, stage): 217862e4a30SBarry Smith '''Builds the .md versions of the manual pages and the .html version of the source code''' 2189cd31cfbSBarry Smith build_classic_docs.main(stage,app.outdir) 21975662446SPatrick Sanan 220c9f6b0acSPatrick Sanandef _fix_man_page_edit_links(app, exception): 221c9f6b0acSPatrick Sanan if exception is None: 2226058a5bfSBarry Smith import time 223c9f6b0acSPatrick Sanan print("============================================") 224*3ecf4727SBarry Smith print(" Fixing manual page edit links") 2256058a5bfSBarry Smith x = time.clock_gettime(time.CLOCK_REALTIME) 226c9f6b0acSPatrick Sanan fix_man_page_edit_links.fix_man_page_edit_links(app.outdir) 2276058a5bfSBarry Smith print("Time: "+str(time.clock_gettime(time.CLOCK_REALTIME) - x)) 2286058a5bfSBarry Smith print("============================================") 229c9f6b0acSPatrick Sanan 230862e4a30SBarry Smith# 231862e4a30SBarry Smith# The following two scripts are needed because the Sphinx html and dirhtml builds save the output html 232862e4a30SBarry Smith# files at different levels of the directory hierarchy. file.rst -> file.html with html but 233862e4a30SBarry Smith# file.rst -> file/index.html with dirhtml and we want both to work correctly using relative links. 234862e4a30SBarry Smith 235862e4a30SBarry Smithdef _fix_links(app, exception): 236862e4a30SBarry Smith """We need to manage our own relative paths in the User's Manual for the source code files which 237862e4a30SBarry Smith are auto-generated by c2html outside of Sphinx so Sphinx cannot directly handle those links for use. 238862e4a30SBarry Smith We use the string PETSC_DOC_OUT_ROOT_PLACEHOLDER in URLs in the Sphinx .rst files as a stand in 239862e4a30SBarry Smith for the root directory that needs to be constructed based on if the Sphinx build is html or dirhtml 240862e4a30SBarry Smith """ 241862e4a30SBarry Smith if exception is None: 2426058a5bfSBarry Smith import time 243862e4a30SBarry Smith print("============================================") 244862e4a30SBarry Smith print(" Fixing relative links") 2456058a5bfSBarry Smith x = time.clock_gettime(time.CLOCK_REALTIME) 246862e4a30SBarry Smith make_links_relative.make_links_relative(app.outdir) 2476058a5bfSBarry Smith print("Time: "+str(time.clock_gettime(time.CLOCK_REALTIME) - x)) 2486058a5bfSBarry Smith print("============================================") 249862e4a30SBarry Smith 250c9f6b0acSPatrick Sanan 25175662446SPatrick Sanandef _update_htmlmap_links(app): 252862e4a30SBarry Smith """htmlmap maps from manualpage names to relative locations in the generated documentation directory 253862e4a30SBarry Smith hierarchy. The format of the directory location needs to be different for the Sphinx html and dirhtml 254862e4a30SBarry Smith builds 255862e4a30SBarry Smith """ 2566058a5bfSBarry Smith import time 25775662446SPatrick Sanan print("============================================") 25875662446SPatrick Sanan print(" Updating htmlmap") 2596058a5bfSBarry Smith x = time.clock_gettime(time.CLOCK_REALTIME) 2609cd31cfbSBarry Smith update_htmlmap_links.update_htmlmap_links(app.builder,os.path.join('manualpages','htmlmap')) 2616058a5bfSBarry Smith print("Time: "+str(time.clock_gettime(time.CLOCK_REALTIME) - x)) 2626058a5bfSBarry Smith print("============================================") 263c6c2e312SBarry Smith 264c6c2e312SBarry Smithdef build_petsc4py_docs(app): 265c6c2e312SBarry Smith petsc_dir = os.path.dirname(os.path.abspath(os.path.join(__file__,'..'))) 266c6c2e312SBarry Smith petsc_arch = 'arch-classic-docs' 267c6c2e312SBarry Smith 2686058a5bfSBarry Smith # petsc4py needs to be built to build petsc4py docs via introspection 269c6c2e312SBarry Smith command = ['make', 'all', 270c6c2e312SBarry Smith 'PETSC_DIR=%s' % petsc_dir, 271c6c2e312SBarry Smith 'PETSC_ARCH=%s' % petsc_arch] 2726058a5bfSBarry Smith import time 273c6c2e312SBarry Smith print('==============================================') 274c6c2e312SBarry Smith print('Building library to make petsc4py docs') 275c6c2e312SBarry Smith print(command) 2766058a5bfSBarry Smith x = time.clock_gettime(time.CLOCK_REALTIME) 277c6c2e312SBarry Smith subprocess.run(command, cwd=petsc_dir, check=True) 2786058a5bfSBarry Smith print("Time: "+str(time.clock_gettime(time.CLOCK_REALTIME) - x)) 2796058a5bfSBarry Smith print('==============================================') 280c6c2e312SBarry Smith 281c6c2e312SBarry Smith command = ['make', 'website', 282c6c2e312SBarry Smith 'PETSC_DIR=%s' % petsc_dir, 283c6c2e312SBarry Smith 'PETSC_ARCH=%s' % petsc_arch, 284c6c2e312SBarry Smith 'LOC=%s' % app.outdir] 285c6c2e312SBarry Smith print('============================================') 286c6c2e312SBarry Smith print('Building petsc4py docs') 287c6c2e312SBarry Smith print(command) 2886058a5bfSBarry Smith x = time.clock_gettime(time.CLOCK_REALTIME) 289c6c2e312SBarry Smith subprocess.run(command, cwd=os.path.join(petsc_dir,'src','binding','petsc4py'), check=True) 2906058a5bfSBarry Smith print("Time: "+str(time.clock_gettime(time.CLOCK_REALTIME) - x)) 2916058a5bfSBarry Smith print('============================================') 292