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…