Return an include command for a generated extension interface. - name - extension name
(name)
| 80 | specLinkSubstitute = None |
| 81 | |
| 82 | def makeExtensionInclude(name): |
| 83 | """Return an include command for a generated extension interface. |
| 84 | - name - extension name""" |
| 85 | |
| 86 | return 'include::{}/meta/refpage.{}{}[]'.format( |
| 87 | conventions.generated_include_path, |
| 88 | name, |
| 89 | conventions.file_suffix) |
| 90 | |
| 91 | |
| 92 | def makeAPIInclude(type, name): |