123456789101112131415161718192021 |
- def setup(app):
- app.add_crossref_type(
- directivename="setting",
- rolename="setting",
- indextemplate="pair: %s; setting",
- )
- app.add_crossref_type(
- directivename="sig",
- rolename="sig",
- indextemplate="pair: %s; sig",
- )
- app.add_crossref_type(
- directivename="state",
- rolename="state",
- indextemplate="pair: %s; state",
- )
- app.add_crossref_type(
- directivename="control",
- rolename="control",
- indextemplate="pair: %s; control",
- )
|