Lines Matching +full:sphinx +full:- +full:build

36           # https://pydata-sphinx-theme.readthedocs.io/en/stable/user_guide/page-toc.html
50                 fd.write("---\n")
52                 fd.write("---\n")
57                       fd.write('- [](%s)\n' % name)
63           fd.write("---\n")
65           fd.write("---\n")
67               fd.write('- [](%s)\n' % name)
82                 fd.write("---\n")
84                 fd.write("---\n")
91                       fd.write("- [%s](%s)\n" % (name, path_name))
112 …buf += "\n\n---\n[Edit on GitLab](https://gitlab.com/petsc/petsc/-/edit/%s/%s)\n\n" % (edit_branch…
226       titles = ['Beginner - Basic usage',
227                 'Intermediate - Setting options for algorithms and data structures',
228                 'Advanced - Setting more advanced options and customization',
229                 'Developer - Interfaces rarely needed by applications programmers',
230                 'Deprecated - Functionality scheduled for removal in the future',
234       git_ref = subprocess.check_output(['git', 'rev-parse', 'HEAD']).rstrip()
236         git_ref_release = subprocess.check_output(['git', 'rev-parse', 'origin/release']).rstrip()
255 …raise RuntimeError('Stopping document build since errors were detected in generating manual page i…