diff options
author | Melody Horn <melody@boringcactus.com> | 2020-10-29 12:01:29 -0600 |
---|---|---|
committer | Melody Horn <melody@boringcactus.com> | 2020-10-29 12:01:29 -0600 |
commit | cf0c943c9b923611dcd0819ac2c2bbf45d6b0429 (patch) | |
tree | b67ddc08c2fb84b5c860369c80ad44c24e610f1d /_ext | |
parent | 7b451ea5d662df6512e4934bc92c85b428a9121f (diff) | |
download | spec-cf0c943c9b923611dcd0819ac2c2bbf45d6b0429.tar.gz spec-cf0c943c9b923611dcd0819ac2c2bbf45d6b0429.zip |
make sure toctree winds up in gemtext
Diffstat (limited to '_ext')
-rw-r--r-- | _ext/gemtext_builder.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/_ext/gemtext_builder.py b/_ext/gemtext_builder.py index 1e21d29..13f3cf2 100644 --- a/_ext/gemtext_builder.py +++ b/_ext/gemtext_builder.py @@ -172,7 +172,8 @@ class GemtextBuilder(Builder): default_translator_class = GemtextTranslator def get_outdated_docs(self): - return self.env.found_docs # can't be fucked to implement this right + yield from self.env.found_docs # can't be fucked to implement this right + yield 'genindex' def get_target_uri(self, docname: str, typ: str = None): return docname + '.gmi' |