Change rtd builder superclass (#1682)

* Change rtd builder superclass

* simplify imports

Author: TheTripleV

source/_extensions/rtd_patch.py

@@ -0,0 +1,13 @@
+# Force RTD to build zip with regular html builder, not single html
+# The builder is preloaded after all extensions are loaded, so we can
+# change the registered class here.
+
+from sphinx.builders.html import StandaloneHTMLBuilder
+
+
+class ReadtheDocsBuilderLocalMedia(StandaloneHTMLBuilder):
+    name = "readthedocssinglehtmllocalmedia"
+
+
+def setup(app):
+    app.add_builder(ReadtheDocsBuilderLocalMedia, override=True)

source/conf.py

@@ -57,6 +57,7 @@
 
 local_extensions = [
     "_extensions.post_process",
+    "_extensions.rtd_patch",
     "_extensions.localization",
 ]