Searched refs:titles (Results 1 – 3 of 3) sorted by relevance
| /petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/docs/ |
| H A D | _doc_section_base.py | 214 titles: tuple[str, ...]
227 …str, required: bool = False, keywords: Optional[tuple[str, ...]] = None, titles: Optional[tuple[st…
258 if titles is None:
259 titles = (titlename,)
261 titles = tuple(titles)
269 self.titles = titles
270 self.keywords = tuple(set(keywords + self.titles))
498 if any(t in heading for t in self.titles):
503 if heading != correct and any(t in correct for t in self.titles):
512 matchname = difflib.get_close_matches(correct, self.titles, n=1)[0]
[all …]
|
| H A D | _doc_str.py | 320 return (attr for section in self for attr in section.titles)
412 titles = section.titles
413 if len(titles) > 1:
414 titles = tuple(difflib.get_close_matches(attempt, titles, n=1))
416 if titles:
419 return attempt, titles[0], section
|
| /petsc/doc/ |
| H A D | build_man_index.py | 21 def printindex(outfilename, headfilename, levels, titles, tables): argument
42 title = titles[i]
226 titles = ['Beginner - Basic usage',
249 printindex(outfilename,headfilename,levels,titles,table)
|