Build gallery also for HTML Help docs

cgohlke · cgohlke · commit db09a7160a9c · 2014-07-29T00:32:27.000-07:00
diff --git a/doc/sphinxext/gen_gallery.py b/doc/sphinxext/gen_gallery.py
@@ -61,7 +61,7 @@ def out_of_date(original, derived):
 
 
 def gen_gallery(app, doctree):
-    if app.builder.name != 'html':
+    if app.builder.name not in ('html', 'htmlhelp'):
         return
 
     outdir = app.builder.outdir
