diff options
author | Melody Horn <melody@boringcactus.com> | 2020-11-02 13:37:32 -0700 |
---|---|---|
committer | Melody Horn <melody@boringcactus.com> | 2020-11-02 13:37:32 -0700 |
commit | 8868b5fa2e8b9f40a31035c51519cce40e73f079 (patch) | |
tree | 4a91e7d5437f91a7f95358753097a99e2c84cf2e /_ext/crowbar_domain.py | |
parent | 83e23b6b449112f4a85d09c57e5601faa87856ca (diff) | |
download | spec-8868b5fa2e8b9f40a31035c51519cce40e73f079.tar.gz spec-8868b5fa2e8b9f40a31035c51519cce40e73f079.zip |
define compile-time vs runtime behavior
Diffstat (limited to '_ext/crowbar_domain.py')
-rw-r--r-- | _ext/crowbar_domain.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_ext/crowbar_domain.py b/_ext/crowbar_domain.py index 619487d..673f756 100644 --- a/_ext/crowbar_domain.py +++ b/_ext/crowbar_domain.py @@ -52,7 +52,7 @@ class ElementDirective(ObjectDescription): else: peg_rule += addnodes.desc_sig_operator('', '', nodes.literal(text=token)) return element - + def add_target_and_index(self, name, sig, signode): signode['ids'].append('element' + '-' + name) if 'noindex' not in self.options: |