From cbcd86d886838e880e79b8ac7bcd9a4ab3202915 Mon Sep 17 00:00:00 2001 From: michaelj Date: Fri, 23 Apr 2010 19:19:55 +1000 Subject: [PATCH] Run for both html and dirhtml Previously dirhtml build types were ignored by the extension --- sphinxtogithub/sphinxtogithub.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sphinxtogithub/sphinxtogithub.py b/sphinxtogithub/sphinxtogithub.py index d56b96a..714ef23 100644 --- a/sphinxtogithub/sphinxtogithub.py +++ b/sphinxtogithub/sphinxtogithub.py @@ -267,7 +267,7 @@ def sphinx_extension(app, exception): # The former is doable, but not officially supported (as far as I know) # so I wouldn't know where to stash the data. - if app.builder.name != "html": + if not app.builder.name in ("html", "dirhtml"): return if not app.config.sphinx_to_github: